micpsolver.cpp
master

History Graph

Commit	Author	Details	Committed
1f74bad60587	georget	impr:organization add micpsolver to specmicp_common	Feb 7 2016
64b3616eea48	fabien	documentation and test for the MiCP solver	Jan 20 2015
8f33b9c54fdb	fabien	move micpsolver tests to the Catch framework, instead of the CxxTest framework	Jan 19 2015