Skip to content
Release 0.4

CHANGES:

  * Decision: Fix delayed decisions handling
  * Array: experimental theory
  * Quantifier: Improve eager instanciation heuristic
  * Quantifier: Avoid creating new term
  * Simplex: Fix redundant run
  * Fix compilation in 32bit
  * Fix sign of sqrt