Solving MAXSAT and saying a few words about it.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
Thomas Johnson 56c3434298 Tried to fix the problem, may have made it worse. 2 years ago
..
clause.rs Merged karmarkar into master 2 years ago
clause_gen.rs Tried to fix the problem, may have made it worse. 2 years ago
hash_wrapper.rs oops 2 years ago
karmarkar.rs Tried to fix the problem, may have made it worse. 2 years ago
main.rs Tried to fix the problem, may have made it worse. 2 years ago
maxsat.rs Tried to fix the problem, may have made it worse. 2 years ago
messy_minsat.rs Oops, fixed a breaking change 2 years ago
variable.rs Karmarkar's algorithm go brrrrr 2 years ago