Diffusion SpecMiCP / ReactMiCP (fixpoint) History

specmicp/tests/micpsolver/test_cond_number.hpp
fixpointcd1fb73b0dac5d91bd446ee…

Aug 18 2014

change copyright
be84b355a07d
·fabien on Aug 18 2014, 16:50.

Mar 25 2014

first commit - start work on MiCP solver
aa99981ed3b1
·georget on Mar 25 2014, 17:24.