search

potassco / clingoLP

Theory propagator for linear programming using clingo theory language and interface.
MIT License
10 stars 3 forks source link

Create README.md #1

Closed schellhorn closed 7 years ago

schellhorn commented 7 years ago

adding refactored README.md