Remove GMLMIP
This drops the rule implementation for GML and PML, because they were relying on GMLMIP which complicated the build process and didn't work completely. See Issue 19. GML and PML are still implemented as functors but currently disabled. To re-instantiate them, an OCaml implementation is needed.
Showing
- _oasis 2 additions, 41 deletions_oasis
- src/coalg/coalg.ml 4 additions, 4 deletionssrc/coalg/coalg.ml
- src/lib/CoAlgLogics.ml 7 additions, 91 deletionssrc/lib/CoAlgLogics.ml
- src/lib/GMLMIP-0.1/.gitignore 0 additions, 2 deletionssrc/lib/GMLMIP-0.1/.gitignore
- src/lib/GMLMIP-0.1/README.txt 0 additions, 79 deletionssrc/lib/GMLMIP-0.1/README.txt
- src/lib/GMLMIP-0.1/config.mk 0 additions, 7 deletionssrc/lib/GMLMIP-0.1/config.mk
- src/lib/GMLMIP-0.1/formulas/GML_formula.c 0 additions, 80 deletionssrc/lib/GMLMIP-0.1/formulas/GML_formula.c
- src/lib/GMLMIP-0.1/formulas/GML_formula.h 0 additions, 14 deletionssrc/lib/GMLMIP-0.1/formulas/GML_formula.h
- src/lib/GMLMIP-0.1/formulas/PML_formula.c 0 additions, 102 deletionssrc/lib/GMLMIP-0.1/formulas/PML_formula.c
- src/lib/GMLMIP-0.1/formulas/PML_formula.h 0 additions, 14 deletionssrc/lib/GMLMIP-0.1/formulas/PML_formula.h
- src/lib/GMLMIP-0.1/formulas/formula.c 0 additions, 324 deletionssrc/lib/GMLMIP-0.1/formulas/formula.c
- src/lib/GMLMIP-0.1/formulas/formula.h 0 additions, 168 deletionssrc/lib/GMLMIP-0.1/formulas/formula.h
- src/lib/GMLMIP-0.1/formulas/makefile 0 additions, 21 deletionssrc/lib/GMLMIP-0.1/formulas/makefile
- src/lib/GMLMIP-0.1/formulas/rational.c 0 additions, 29 deletionssrc/lib/GMLMIP-0.1/formulas/rational.c
- src/lib/GMLMIP-0.1/formulas/rational.h 0 additions, 26 deletionssrc/lib/GMLMIP-0.1/formulas/rational.h
- src/lib/GMLMIP-0.1/formulas/satisfyingassignment.c 0 additions, 64 deletionssrc/lib/GMLMIP-0.1/formulas/satisfyingassignment.c
- src/lib/GMLMIP-0.1/formulas/satisfyingassignment.h 0 additions, 26 deletionssrc/lib/GMLMIP-0.1/formulas/satisfyingassignment.h
- src/lib/GMLMIP-0.1/input 0 additions, 2 deletionssrc/lib/GMLMIP-0.1/input
- src/lib/GMLMIP-0.1/main.c 0 additions, 70 deletionssrc/lib/GMLMIP-0.1/main.c
- src/lib/GMLMIP-0.1/makefile 0 additions, 51 deletionssrc/lib/GMLMIP-0.1/makefile
Loading
Please register or sign in to comment