Tightening with unsat cores
Merge pull request #34 from chsticksel/kind2-server

Tightening with unsat cores
Statistics for tightening
Merge pull request #35 from chsticksel/kind2-server

Statistics for tightening
Revived blocking in future frames
Merge pull request #36 from chsticksel/kind2-server

Revived blocking in future frames
Added flag to set SMT logic, set none by default
Fixed debug output when detecting SMT logic
Merge pull request #37 from chsticksel/kind2-server

Added flag to set SMT logic, set none by default
Need to use logics with uninterpreted functions
Merge pull request #38 from chsticksel/kind2-server

Need to use logics with uninterpreted functions
Heuristic to pick term with fewest new variables in extraction of implicants
Merge pull request #39 from chsticksel/kind2-server

Heuristic to pick term with fewest new variables in extraction of implicants
Count both integer and Boolean variables
Merge pull request #40 from chsticksel/kind2-server

Count both integer and Boolean variables
Started using arbitrary precision arithmetic
Integration of arbitrary precision arithmetic
Everything uses arbitrary precision arithmetic
Completed documentation
Merge pull request #41 from chsticksel/kind2-server

Everything uses arbitrary precision arithmetic