meelgroup gaussmaxhs issues - Githubissues

meelgroup / gaussmaxhs

GaussMaxHS, a CNF+XOR MaxSAT solver

Other

2 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Hard XOR constraints violated

#4 cenyunuo opened 1 month ago
4
XOR clauses

#3 lazarescusimona opened 3 months ago
2
Hard XOR clause violated

#2 vuphan314 closed 2 years ago
2
An issue with XOR

#1 zzwonder opened 2 years ago
1