Maxsat solver

30 views

Skip to first unread message

unread,

Jun 26, 2013, 1:16:07 AM6/26/13

to ubc...@googlegroups.com

Hi,

I am looking for a MaxSat Solver to satisfy clauses like this:

1.most of the clauses have 2 variables

2.some of them have 3 variables

anybody know this Sat-Solver ?

Reply all

Reply to author

Forward

0 new messages