KRR
software
BreakID
Downloads
For large uploads, we recommend using the API.
Get instructions
Downloads
Tags
Branches
Branch
Commit
Date
Download
SatComp24
5b00697
2024-05-08
zip
gz
bz2
hack_limit-time
cf527f1
2024-04-15
zip
gz
bz2
pb_optimization
4e9b15f
2024-03-27
zip
gz
bz2
master
bd28442
2024-03-09
zip
gz
bz2
uint_fix
1b2e0a5
2024-03-09
zip
gz
bz2
saucy_isolated_rebased
1f9eabe
2024-02-13
zip
gz
bz2
pb-2
2eaef42
2023-04-25
zip
gz
bz2
veriPB
1f4df70
2021-03-11
zip
gz
bz2
maxsat
3926ee3
2019-07-14
zip
gz
bz2
pb_constraints
361e242
2018-11-18
zip
gz
bz2
saucy_isolated
e3c99fd
2017-11-13
zip
gz
bz2
graph-input
b937230
2017-10-19
zip
gz
bz2
qbf_sts
1b337bc
2017-10-17
zip
gz
bz2
qbf
831e0ae
2017-10-04
zip
gz
bz2
lparse_rebased
ab17778
2016-12-26
zip
gz
bz2
lparse56
63719a5
2016-11-28
zip
gz
bz2
enum_rebase
36c6ac4
2016-08-19
zip
gz
bz2
enum
d135d85
2016-08-19
zip
gz
bz2
lparse
51064fd
2016-07-12
zip
gz
bz2
paper_SAT16
3bc12cf
2016-04-19
zip
gz
bz2
qbf_bart
61980c5
2016-03-17
zip
gz
bz2
optimizations
07cff24
2016-03-07
zip
gz
bz2