-
- Downloads
Initial commit
It contains the most current tarball created by the original author Florian Widmann.
parents
No related branches found
No related tags found
Showing
- ALCFormula.ml 1821 additions, 0 deletionsALCFormula.ml
- ALCFormula.mli 102 additions, 0 deletionsALCFormula.mli
- ALCGraph.ml 401 additions, 0 deletionsALCGraph.ml
- ALCGraph.mli 4 additions, 0 deletionsALCGraph.mli
- ALCMisc.ml 0 additions, 0 deletionsALCMisc.ml
- CoAlgFormula.ml 0 additions, 0 deletionsCoAlgFormula.ml
- CoAlgFormula.mli 118 additions, 0 deletionsCoAlgFormula.mli
- CoAlgLogics.ml 129 additions, 0 deletionsCoAlgLogics.ml
- CoAlgLogics.mli 9 additions, 0 deletionsCoAlgLogics.mli
- CoAlgMisc.ml 0 additions, 0 deletionsCoAlgMisc.ml
- CoAlgMisc.mli 0 additions, 0 deletionsCoAlgMisc.mli
- CoAlgReasoner.ml 0 additions, 0 deletionsCoAlgReasoner.ml
- CoAlgReasoner.mli 10 additions, 0 deletionsCoAlgReasoner.mli
- Makefile 114 additions, 0 deletionsMakefile
- altGenlex.ml 0 additions, 0 deletionsaltGenlex.ml
- altGenlex.mli 12 additions, 0 deletionsaltGenlex.mli
- benchmarks/DL98/DL98_alc_branch_sat.txt 0 additions, 0 deletionsbenchmarks/DL98/DL98_alc_branch_sat.txt
- benchmarks/DL98/DL98_alc_branch_unsat.txt 0 additions, 0 deletionsbenchmarks/DL98/DL98_alc_branch_unsat.txt
- benchmarks/DL98/DL98_alc_d4_sat.txt 0 additions, 0 deletionsbenchmarks/DL98/DL98_alc_d4_sat.txt
- benchmarks/DL98/DL98_alc_d4_unsat.txt 0 additions, 0 deletionsbenchmarks/DL98/DL98_alc_d4_unsat.txt
Loading
Please register or sign in to comment