Trying to tighten clausees with unsat cores in forward propagation
Must not reduce clause to intersect with the initial state
Removed extra checks
Merge pull request #49 from chsticksel/kind2-server

Kind2 server
Parsing Horn clause input
Configuration for OCaml Merlin
Converting horn clauses to a transition system
Parse Horn clauses as a transition system
Need to use Numeral.equal and Decimal.equal for equality of symbols
Merge pull request #50 from chsticksel/kind2-server

Horn clause input
Fresh variables must not overlap in initial state constraint, property and transition relation
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
Merge pull request #53 from chsticksel/camlp4-debug

Added Camlp4DebugParser sources, really now
Attempts on slicing horn clause problems
Enabled subsumption of clauses
Merge pull request #54 from chsticksel/kind2-server

Enabled subsumption of clauses
Flag to do extraction before and after exact QE