astran icon indicating copy to clipboard operation
astran copied to clipboard

Published 20 hours ago • verified publisher icon aziesemer

lpsolve support

Open thesourcerer8 opened this issue 5 years ago • 1 comments

Is it possible to still use lpsolve with astran? It seems that Gurobi is required by Astran, but for our application, an OpenSource solver is required. Would it be possible to add lpsolve support in again? Also please document the system requirements (e.g. Gurobi) in the README.

thesourcerer8 avatar Sep 18 '19 15:09 thesourcerer8

Gurobi 5 is required (people started to have issues with newer versions). It is free for academic use and it has (or had) a free version that would work for a limited number of constraints (if I remember it would only generate inverters).

LPSolve was supported initially but because it was much slower, I decided to switch to Gurobi. I'm not sure if Astran can easily be adapted to support LPSolve again, but if it does, you can expect to take 1 hour to generate a single nand2.

aziesemer avatar Sep 18 '19 15:09 aziesemer