8000 Commits · geoffchu/chuffed · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Sep 26, 2016

Merged changes from the svn repository into the git one:
schutta
committed

Commits on Jun 20, 2016

Commits on Nov 4, 2015

Added the global definition of disjunctive to the chuffed's MiniZinc
schutta
committed
Changed top level failure output in order to conform MiniZinc output
schutta
committed
Added the options switch_to_vsids_after that allows chuffed to use
schutta
committed

Commits on Aug 31, 2015

added mac binary
geoffchu
committed

Commits on Aug 30, 2015

Fixed bug?
geoffchu
committed

Commits on Aug 29, 2015

Commits on Aug 12, 2015

Merge pull request #3 from angee/master
geoffchu
committed

Commits on Aug 11, 2015

forgot a couple of other fzn-parser warnings
Andrea Rendl
committed
Merge pull request #2 from angee/master
geoffchu
committed
print search annotation warning as MiniZinc comment to make output valid MiniZinc
Andrea Rendl
committed

Commits on Aug 7, 2015

Merge pull request #1 from angee/master
geoffchu
committed
forgot to adapt some includes
Andrea Rendl
committed

Commits on Aug 6, 2015

adapted includes for library compilation
Andrea Rendl
committed
added CMAKE file to generate a library of chuffed
Andrea Rendl
committed

Commits on Jul 9, 2015

0