Skip to content
GitLab
Explore
Sign in
Anissa Kheireddine
BMCTool
Repository
Branches
Overview
Active
Stale
All
er/osx
ab73c858
·
update painless commit number
·
Oct 20, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/hamadi
9b19c5a1
·
Merge branch 'ak/bmctool' of
https://gitlab.lrde.epita.fr/akheireddine/bmctool
into ak/hamadi
·
Nov 05, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/desat_integration
93e65989
·
Update makefile and painless submodule :
·
Dec 02, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ak/bmctool
f82a3503
·
Update bmctool with painless :
·
Dec 08, 2020
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
ak/cp21-exp
1c9a3add
·
update scripts for CP21
·
Aug 09, 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/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/ParallelHeuristics
d0a094d2
·
Remove unused header
·
Nov 05, 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/DecisionVar
82c72ae3
·
New branch for decision variable strategies
·
Nov 11, 2021
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/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/tacas22-exp
a6968708
·
Remove assertion on selector input
·
Jan 18, 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/sat22-log
53958a9d
·
Cleanup
·
Feb 25, 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/PurgeParallel
2168aab4
·
comment parsing warning
·
Aug 31, 2022
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
Prev
1
2
Next