S-Mazigh

Pinned Repositories

SBVA
Structured BVA
Language:C++33 3 58
painless
A framework to ease parallelization of sequential SAT solvers
Language:C++16 6 02
ASMx86_64
Language:HTML10
painless
Language:C++10
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
Language:Python00
ARA-Project
Réalisation d'une étude expérimentale d'algorithmes répartis grâce au simulateur PeerSim.
Language:Java00

S-Mazigh's Repositories

S-Mazigh/ASMx86_64
Language:HTML10
S-Mazigh/painless
Language:C++10
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
Language:Python00