search

ontologyportal / sigmakee

Sigma Knowledge Engineering Environment
GNU General Public License v3.0
101 stars 34 forks source link

inference engine #61

Open arademaker opened 4 years ago

arademaker commented 4 years ago

How to specify the prover? From https://github.com/ontologyportal/sigmakee/blob/master/README.txt#L300 I got that now we need in the config one entry for each prover. But what about inferenceEngine previous parameter? How to specific what is the prefered engine for tests (related to #60), for example.

apease commented 4 years ago

the inferenceEngine parameter is no longer used. There's a parameter eprover and a parameter vampire. But I have not updated all the code to make this a selectable option yet.