Branches

Branch Behind Ahead Updated Pull request Builds Actions
master Main branch
optimizations 90 1
paper_SAT16 79 6
lparse 65 25
#3 Open
enum 65 7
enum_rebase 63 7
#5 Open
lparse56 65 29
maxsat 20 4
qbf 20 21
qbf_sts 20 23
graph-input 17 2
saucy_isolated 17 13
pb_constraints 10 18