lorensipro

Pinned Repositories

minisat
A minimalistic and high-performance SAT solver
Language:C++0 0 00
picasso
Language:C++00
pysat
Language:Python01
satex-benchs
10
Unintended-Bias-LMRec
M2 Internship 2024
Language:Jupyter Notebook00
website-afpc
Site web de l'AFPC
Language:HTML52
website-r3ia
Site web en Jekyll du R3IA
Language:HTML00
SEA-2021
Language:Dockerfile1 1 00
docker-images
SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
Language:Python38 5 313

lorensipro's Repositories

lorensipro/website-afpc
Site web de l'AFPC
Language:HTML52
lorensipro/satex-benchs
10
lorensipro/minisat
A minimalistic and high-performance SAT solver
Language:C++0 0 00
lorensipro/picasso
Language:C++00
lorensipro/pysat
Language:Python01
lorensipro/Unintended-Bias-LMRec
M2 Internship 2024
Language:Jupyter Notebook00
lorensipro/website-r3ia
Site web en Jekyll du R3IA
Language:HTML00