Hacker News new | past | comments | ask | show | jobs | submit login

Markus Triska, the author of the Lisp interpreter above has also contributed library(simplex), a linear programming library for Swi-Prolog:

http://www.swi-prolog.org/pldoc/man?section=simplex




From first look, this library doesn't seem to provide a way of translating logical constraints into MIP constraints. I'm sure that could be implemented in terms of the library though.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: