Skip to content
GitLab
Explore
Sign in
Anissa Kheireddine
BMCTool
Repository
Branches
Overview
Active
Stale
All
ak/convertorTool
73a0cc44
·
Convert SMV to DIMACS with additional information about LOOPS
·
Jun 26, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/DecompBMC23
3fd03914
·
Clean code
·
Jan 05, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/TuneDB23
71611e70
·
New value for selector and protection option
·
Aug 19, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/analyze_bis
9ce87701
·
Drastic change when adding renaming of steps constraints! Risky
·
Jun 27, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
gc/bmcIncr
c6f673b1
·
add v+
·
Feb 10, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/PurgeParallel
2168aab4
·
comment parsing warning
·
Aug 31, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/log
a44aefd4
·
change tool to mode
·
Aug 22, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/sat22-log
53958a9d
·
Cleanup
·
Feb 25, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/PurgeDB
042aa439
·
bmctool.cc,
·
Jan 31, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/tacas22-exp
a6968708
·
Remove assertion on selector input
·
Jan 18, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/tacas22-log
26f1648c
·
Merge branch 'ak/tacas22-log' of...
·
Jan 10, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/BMCDecompNew
970204e4
·
New decomposition strategy using desat solver
·
Nov 13, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/DecisionVar
82c72ae3
·
New branch for decision variable strategies
·
Nov 11, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/VarOrdHeuristic
6640ed36
·
Variable ordering heuristic using BMC information
·
Nov 06, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/ParallelHeuristics
d0a094d2
·
Remove unused header
·
Nov 05, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/tacas22
52b0f3b7
·
Set new decomposition strategy
·
Oct 05, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
52b0f3b7
·
Set new decomposition strategy
·
Oct 05, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/cp21-log
4ffd53ab
·
update script for CP21 replication
·
Aug 10, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/cp21-exp
1c9a3add
·
update scripts for CP21
·
Aug 09, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/octo_version
55123c81
·
Update painless sub-module
·
May 04, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
Next