specmicp/CMakeLists.txtfixpoint
specmicp/CMakeLists.txt
fixpoint
History Graph
History Graph
Commit | Author | Details | Committed | |||
---|---|---|---|---|---|---|
c551311e303e | georget | Documentations : citations and update | Apr 7 2014 | |||
4d14a2cc5b7e | georget | add database management - reducing to canonical form and swap basis | Apr 6 2014 | |||
e12fbdcee6a7 | georget | new database | Apr 6 2014 | |||
0ee505a85b4c | georget | add database | Apr 5 2014 | |||
89f89d5696f6 | georget | Documentation | Apr 5 2014 | |||
dcc601639650 | georget | logger | Apr 4 2014 | |||
76b655f10c49 | georget | start work on specmicp | Mar 26 2014 | |||
bcec4af7755f | georget | micpsolver almost working | Mar 26 2014 | |||
19b2506fec1c | georget | implementation of MiCPsolver continue | Mar 25 2014 | |||
d9b77d2dcb0a | georget | start work on micp solver | Mar 25 2014 | |||
aa99981ed3b1 | georget | first commit - start work on MiCP solver | Mar 25 2014 |
c4science · Help