linear-integer-programming

Here is 1 public repository matching this topic...

Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)

Add a description, image, and links to the linear-integer-programming topic page so that developers can more easily learn about it.

To associate your repository with the linear-integer-programming topic, visit your repo's landing page and select "manage topics."