## cool / _oasis @ 0fe95cdc

History | View | Annotate | Download (2.1 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 |
Executable coalg |

9 |
CompiledObject: native |

10 |
Path: src |

11 |
BuildTools: ocamlbuild |

12 |
BuildDepends: ocamlgraph, |

13 |
unix, |

14 |
str |

15 |
MainIs: coalg.ml |

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

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

18 | |

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

20 |
# cpp-files |

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 | |

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

53 |
# vim: ft=cabal |