Passing extra options to the ATPs

asr / apia

Haskell program for proving first-order theorems written in Agda using automatic theorem provers for first-order logic

MIT License

6 stars 0 forks source link

Open asr opened 8 years ago

asr commented 8 years ago

The cabal-install program has the options

--PROG-option=OPT    give an extra option to PROG (no need to quote options containing spaces)
--PROG-options=OPTS  give extra options to PROG

We need to implement similar options for passing extra options to the ATPs.