Giters

zhihan / janala2-gradle

CATG updated

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Consider upgrading ChocoSolver to Choco3 and address the differences with CVC4.

zhihan opened this issue · comments

commented

Switch to use managed Choco solver 3.3.1 as of fb37185.