search

aziesemer / astran

ASTRAN - Automatic Synthesis of Transistor Networks
http://aziesemer.github.io/astran
BSD 2-Clause "Simplified" License
52 stars 24 forks source link

lpsolve support #50

Open thesourcerer8 opened 4 years ago

thesourcerer8 commented 4 years ago

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.

aziesemer commented 4 years ago

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.