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