Skip to content
GitLab
Explore
Sign in
Ludovic Le Frioux
painless
Repository
Branches
Overview
Active
Stale
All
ak/maple-depth
067c9edb
·
Fix some problem with depth computation
·
Jul 28, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/maple22-log
e5fd46ec
·
Add Hf selectors (computed using MiniSat UNSAT logs)
·
Jul 19, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/mapleCOMSPS-fmcad
1f84b5d3
·
Add generic selector of tier2 (no distinction of ltl specificity)
·
May 12, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/satcompet22
1b9ecaea
·
Diversification(polarity+chb/vsids) done + disable walk sat.
·
Apr 22, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/kissat
132dd881
·
New selectors for tier2 Kissat
·
Mar 26, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/PurgeParallel
839782b7
·
Fix clause structure
·
Mar 14, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/sat22-log
a74b30ee
·
Cleanup
·
Feb 25, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/Tier2SelectorNoPurge
25465527
·
No purging, only save clauses depending on tier2 selector in tier2 db
·
Feb 16, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/PurgeDB
44c247a4
·
Decrease potential unecessary clauses during reduceDBTier2
·
Feb 06, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/DecisionVarIncr
784ddfa5
·
Variable ordering NOT fixed yet
·
Feb 03, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/log_per_clause
a140e9f0
·
remove other print during log
·
Feb 01, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/tacas22-exp
8a37c84f
·
Reset old selectors as TACAS22
·
Feb 01, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/HordeBMCSatParallel
8304500e
·
Update BMC-based hordesat strategy
·
Dec 03, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
298509d6
·
Update README.md
·
Dec 02, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/ParallelHeuristics
5c692fbd
·
Add cross STRUCT-PL or PL-STRUCT sharing strategy
·
Nov 23, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/SharingStratPriority
20ddf0d3
·
New sharing strategy giving priority to somes classes
·
Nov 21, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/VarOrdHeuristic
491e20ce
·
Remove activity_bmc
·
Nov 19, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/BMCDecompNew
97c0e7e2
·
Start new DeSAT version based on MapleCOMSPS
·
Nov 13, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/tacas22-log
2b16b5bf
·
Remove DeSAT solver (unused in this branch)
·
Nov 01, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/cp21-log
0ad7bbff
·
Remove unused parameters
·
Oct 18, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
Next