Skip to content

Public alpha 150

Pre-release
Pre-release
Compare
Choose a tag to compare
@stevenmeker stevenmeker released this 22 Jul 06:28
· 16 commits to master since this release
Alpha150
8d8d93f
  • added set show resources command
  • initial support for LaTeX
  • fixed bug in free theory discrimination nets for huge number of patterns
  • fixed bug in free theory discrimination nets for large patterns

Bad Linux binary replaced 7/28/23.

Assets 4
Loading