Johannes Schlatow cce6a99fc7 Add soplex and scip (LP and MIP solver)

2016-03-21 11:36:57 +01:00

..

import-glucose.mk

Add glucose SAT solver

2016-03-21 11:36:51 +01:00

import-lemon.mk

Add lemon graph library

2016-03-21 11:36:53 +01:00

import-scip.mk

Add soplex and scip (LP and MIP solver)

2016-03-21 11:36:57 +01:00

import-sqlite.mk

port of sqlite-3.10.2

2016-02-09 11:37:03 +01:00