## cool / _oasis @ 7c4d2eb4

History | View | Annotate | Download (2.46 KB)

1 |
OASISFormat: 0.4 |
---|---|

2 |
Name: cool |

3 |
Version: 0.1 |

4 |
Synopsis: Coalgebraic Ontology Logic solver |

5 |
Authors: Florian Widmann, Thorsten Wißmann |

6 |
License: GPL |

7 | |

8 |
Library libcool |

9 |
CompiledObject: native |

10 |
Path: src/lib |

11 |
BuildTools: ocamlbuild |

12 |
# Dependencies: |

13 |
BuildDepends: ocamlgraph, |

14 |
unix, |

15 |
str |

16 |
CCLib: -lminisat -lstdc++ -lbdd -lm -lglpk |

17 | |

18 |
# Warning: we use C++ sources in .c files because oasis does not recognize |

19 |
# cpp-files |

20 |
CCOpt: -std=c++98 -x c++ |

21 |
CSources: gmlmip_stub.c, |

22 |
minisat_stub.c, |

23 |
GMLMIP-0.1/formulas/rational.h, |

24 |
GMLMIP-0.1/satisfyingstack.h, |

25 |
GMLMIP-0.1/onestep.h, |

26 |
GMLMIP-0.1/onestep.c, |

27 |
GMLMIP-0.1/formulas/formula.h, |

28 |
GMLMIP-0.1/formulas/formula.c, |

29 |
GMLMIP-0.1/formulas/GML_formula.h, |

30 |
GMLMIP-0.1/formulas/GML_formula.c, |

31 |
GMLMIP-0.1/formulas/PML_formula.h, |

32 |
GMLMIP-0.1/formulas/PML_formula.c, |

33 |
GMLMIP-0.1/formulas/rational.h, |

34 |
GMLMIP-0.1/formulas/rational.c, |

35 |
GMLMIP-0.1/formulas/satisfyingassignment.h, |

36 |
GMLMIP-0.1/formulas/satisfyingassignment.c, |

37 |
GMLMIP-0.1/rules/premise.h, |

38 |
GMLMIP-0.1/rules/premise.c, |

39 |
GMLMIP-0.1/rules/GML_premise.h, |

40 |
GMLMIP-0.1/rules/GML_premise.c, |

41 |
GMLMIP-0.1/rules/PML_premise.h, |

42 |
GMLMIP-0.1/rules/PML_premise.c, |

43 |
GMLMIP-0.1/rules/valuation.h, |

44 |
GMLMIP-0.1/rules/valuation.c, |

45 |
GMLMIP-0.1/rules/setofconclusions.h, |

46 |
GMLMIP-0.1/rules/setofconclusions.c, |

47 |
GMLMIP-0.1/rules/sizefunctions.h, |

48 |
GMLMIP-0.1/rules/sizefunctions.c, |

49 |
GMLMIP-0.1/rules/radixtree.h, |

50 |
GMLMIP-0.1/rules/radixtree.c |

51 |
InternalModules: CoAlgLogicUtils, CoAlgLogics |

52 |
Modules: CoAlgMisc, |

53 |
CoAlgFormula, |

54 |
CoolUtils, |

55 |
GenAndComp, |

56 |
CoAlgReasoner |

57 | |

58 | |

59 |
Executable coalg |

60 |
CompiledObject: native |

61 |
Path: src/coalg/ |

62 |
BuildTools: ocamlbuild |

63 |
MainIs: coalg.ml |

64 |
BuildDepends: libcool |

65 | |

66 |
# some cabal similar syntax, so steal its syntax highlighting |

67 |
# vim: ft=cabal |