Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib @ 21b7f7bc

Name Size
  GMLMIP-0.1
ALCFormula.ml 54.2 KB
ALCFormula.mli 3.3 KB
ALCGraph.ml 15.1 KB
ALCGraph.mli 160 Bytes
ALCMisc.ml 31.5 KB
CoAlgFormula.ml 44.7 KB
CoAlgFormula.mli 4.68 KB
CoAlgLogicUtils.ml 3.58 KB
CoAlgLogicUtils.mli 285 Bytes
CoAlgLogics.ml 11.9 KB
CoAlgLogics.mli 196 Bytes
CoAlgMisc.ml 29.7 KB
CoAlgMisc.mli 10.9 KB
CoAlgReasoner.ml 26.1 KB
CoAlgReasoner.mli 505 Bytes
CoolUtils.ml 1.79 KB
CoolUtils.mli 1.03 KB
FunctorParsing.ml 4.68 KB
FunctorParsing.mli 489 Bytes
HashConsing.ml 8.64 KB
HashConsing.mli 699 Bytes
MiscSolver.ml 21.4 KB
MiscSolver.mli 2.01 KB
altGenlex.ml 9.45 KB
altGenlex.mli 416 Bytes
genAndComp.ml 68.2 KB
glpk.ml 6.94 KB
glpk.mli 7.13 KB
glpk_stub.c 11.6 KB
gmlmip.ml 314 Bytes
gmlmip.mli 289 Bytes
gmlmip_stub.c 2.52 KB
minisat.ml 1.06 KB
minisat.mli 455 Bytes
minisat_stub.c 3.33 KB

Latest revisions

# Date Author Comment
21b7f7bc 07/17/2014 01:41 AM Dominik Paulus

run astyle on glpk_stub.c

df7f16dc 07/17/2014 01:41 AM Dominik Paulus

Import ocaml-glpk from https://github.com/smimram/ocaml-glpk

b03cc745 07/16/2014 02:59 PM Thorsten Wißmann

Use generic functor parsing in coalg

db23edf7 07/16/2014 02:50 PM Thorsten Wißmann

Implement more generic functor parsing/printing

68ba7342 07/16/2014 02:28 PM Thorsten Wißmann

Implement sortTable generation

3879f710 07/16/2014 01:53 PM Thorsten Wißmann

Implement parsing of complex functors

672429b4 07/16/2014 12:08 PM Thorsten Wißmann

Make Or-step in And-Or-rules lazy

a9949a25 07/16/2014 12:08 PM Thorsten Wißmann

Use lazylists to remove redudancy

69243f7f 07/16/2014 12:08 PM Thorsten Wißmann

Generalize ruleEnumeration by introducing lazylist

Introduce a new generic data type lazylist, e.g. used for lazy rule
enumerations.

b36e57bc 07/16/2014 12:08 PM Thorsten Wißmann

Remove Disjunctive ruleEnumerations

Propagation of satisfiability and unsatisfiability does not cover
disjunctions and I don't get how propagation works, so I won't touch it
yet. So this reverts the only partially implemented Disjunctive
ruleEnumerations,

View revisions

Also available in: Atom