Pinned Repositories
SBVA
Structured BVA
painless
A framework to ease parallelization of sequential SAT solvers
ASMx86_64
painless
painless-aws
The docker image builder of painless for SAT Competition, clone of https://github.com/aws-samples/aws-batch-comp-infrastructure-sample/tree/mainline
ARA-Project
Réalisation d'une étude expérimentale d'algorithmes répartis grâce au simulateur PeerSim.
S-Mazigh's Repositories
S-Mazigh/ASMx86_64
S-Mazigh/painless
S-Mazigh/painless-aws
The docker image builder of painless for SAT Competition, clone of https://github.com/aws-samples/aws-batch-comp-infrastructure-sample/tree/mainline