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

Tighten clauses with unsat cores in forward propagation