sat-group's repositories
open-wbo-conquer
MaxSAT solver with divide and conquer approaches using graph-partitioning
open-wbo-cores
MaxSAT solver with core treatment techniques
open-wbo-horn
Solving SAT problems by encoding them to MaxHornSAT
laser-maple
LASER using MapleSat
Language:C++000