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

Need to use logics with uninterpreted functions