GitHub - si-blinta/microsat-master

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 69 Commits
.vscode		.vscode
bin		bin
cnf		cnf
src		src
Capture d’écran du 2024-04-23 09-20-43.png		Capture d’écran du 2024-04-23 09-20-43.png
README		README
makefile		makefile
portfolio_test.sh		portfolio_test.sh
rs.txt		rs.txt
test		test

Repository files navigation


TODO : 
    LUBY RESTART. OK
    VSIDS . OK
    CHB . in progress
    TODO LBD RESTART : 
            -It consists of restarting whenever we have high lbd clauses, see ( https://univ-artois.hal.science/hal-03299473/file/preprint.pdf)
    Add the decision level to implement lbd clause suppression. OK