diff options
Diffstat (limited to 'lib/exports.ml')
| -rw-r--r-- | lib/exports.ml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/lib/exports.ml b/lib/exports.ml new file mode 100644 index 0000000..f9baf73 --- /dev/null +++ b/lib/exports.ml @@ -0,0 +1,12 @@ +(* Functions we want to expose for usage within the api *) + +(* Read string input and convert to proposition *) +let parse_input = Input_sanitization.Input_sanitizer.process + +(* Find a truth assignment satisfying the input proposition or return None *) +let find_satisfying_interpretation = Satisfiability.Satisfiable.satisfy + +(* Find a sequent calculus proof or return None if proposition not provable *) +let get_sequent_calculus_proof = Sequent_calculus.Sequent_proof.prove + +let get_tableau_calculus_proof = () (* TODO *) |