Java ILP / Bugs/Features / #2 BigInteger for SAT4J

#2 BigInteger for SAT4J

Status: open

Owner: nobody

Labels: None

Priority: 5

Updated: 2013-01-20

Created: 2010-04-08

Creator: Martin Lukasiewycz

Private: No

Allow BigInteger coefficients for SAT4J

Discussion

Log in to post a comment.