History | View | Annotate | Download (2.15 KB)
Merge branch 'remove-gmlmip'
Remove GMLMIP from INSTALL file
It's not needed any more
Add emacs mode lines to various files
Ubuntu instructions work as well on debian
sparsehash debian package has been renamed to libsparsehash-dev
Add minisat dependency to ubuntu list
Implement raw syntax for constant functors
Add more documentatoin about installing and hacking
Update dependencies in INSTALL file
Mention the testsuite in the INSTALL file
Add build flat for static linking
Update INSTALL to oasis build process
Add wrapper Makefile in root directory
Move sources of coalg to src subfolder
Update glpk version depenency 4.35
Add GMLMIP-0.1 tool
Extend INSTALL by examples
Correctly link against ocamlgraph
Add syntax elements for CL
- Add ENFORCES/ALLOWS to formula type - Add HCENFORCES/HCALLOWS to hcFormula_node type - Add EnforcesF/AllowsF to formulaType type - Add CoalitonLogic to the list of functors ("sorts") - Parse [{ }] and <{ }> terms - Do hashing of those...
Add basic INSTALL instructions