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

Tightening with unsat cores