Skip to content

0.4.1

Compare
Choose a tag to compare
@daemontus daemontus released this 31 Mar 08:57
· 13 commits to master since this release
  • make state selection heuristic more deterministic (more stable scalability)
  • fix stack overflow for cartesian product of big rectangle sets