lperron@google.com 38a0129ecb fix sat - fz2 constraint; improve logging; fix dependencies in Makefile; disable computed variable marking on inactive constraints

2014-08-02 15:54:08 +00:00

..

Makefile.cpp.mk

fix sat - fz2 constraint; improve logging; fix dependencies in Makefile; disable computed variable marking on inactive constraints

2014-08-02 15:54:08 +00:00

Makefile.csharp.mk

big sync: add presolve to sat solver; continue rewrite on C#/Python swig layer; remove as much using std::string as possible in the code; faster saturated arithmetics

2014-07-24 18:12:50 +00:00

Makefile.def

…

Makefile.doc.mk

fix

2012-08-11 06:09:53 +00:00

Makefile.java.mk

big bang on java swig

2014-06-11 22:28:04 +00:00

Makefile.port

sync with internal version; major work on sat solver (symmetries, speedups); speed up on routing library

2014-03-12 17:30:11 +00:00

Makefile.python.mk

move python swig file into python sub-directories

2014-06-13 10:51:59 +00:00

Makefile.test.unix

remove support for // LNS, it has not been used in 4 years

2014-07-24 23:42:05 +00:00

Makefile.test.win

remove support for // LNS, it has not been used in 4 years

2014-07-24 23:42:05 +00:00

Makefile.third_party.unix

big sync: add presolve to sat solver; continue rewrite on C#/Python swig layer; remove as much using std::string as possible in the code; faster saturated arithmetics

2014-07-24 18:12:50 +00:00

Makefile.third_party.win

swig -> 2.0.12

2014-06-18 08:54:37 +00:00

Makefile.unix

rewrite thread layer to use C++11 thread support; remove tinythread

2014-07-24 23:22:49 +00:00

Makefile.win

rewrite thread layer to use C++11 thread support; remove tinythread

2014-07-24 23:22:49 +00:00