Convert lpformat linear programming file to a Python file capable of being run by Microsoft Z3 SMT Solver.
wbeaching / lp-parser Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ramasai1/lp-parser
Convert lpformat linear programming file to a Python file capable of being run by Microsoft Z3 SMT Solver.