Merge pull request #34 from chsticksel/kind2-server

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

Statistics for tightening
Merge pull request #36 from chsticksel/kind2-server

Revived blocking in future frames
Merge pull request #37 from chsticksel/kind2-server

Added flag to set SMT logic, set none by default
Merge pull request #38 from chsticksel/kind2-server

Need to use logics with uninterpreted functions
Merge pull request #39 from chsticksel/kind2-server

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

Count both integer and Boolean variables
Merge pull request #41 from chsticksel/kind2-server

Everything uses arbitrary precision arithmetic
Merge pull request #42 from chsticksel/kind2-server

Updated copyright year and relicensed with the Apache License
Merge pull request #44 from chsticksel/kind2-server

Fixed conversion of string to decimal
Merge pull request #45 from chsticksel/kind2-server

Fixed mixed-up numerator and denominator in division
Merge pull request #46 from chsticksel/kind2-server

Extract after QE with Z3
Merge pull request #47 from chsticksel/kind2-server

Tighten clauses with unsat cores in forward propagation
Merge pull request #48 from chsticksel/kind2-server

Forgot to push and pop context on sat check in forward propagation
Merge pull request #49 from chsticksel/kind2-server

Kind2 server
Merge pull request #50 from chsticksel/kind2-server

Horn clause input
Merge pull request #51 from chsticksel/kind2-server

Fresh variables must not overlap in initial state constraint, property and transition relation
Added sources of Camlp4DebugParser to sources and compile here
Merge pull request #52 from chsticksel/camlp4-debug

Added sources of Camlp4DebugParser to sources and compile here
Added Camlp4DebugParser sources, really now