sat-heritage
Pinned Loading
Repositories
Showing 7 of 7 repositories
- docker-images Public
SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
- benchs-generators Public
Collects bench generators of SAT problems (authors, sources, compilation rules, parameters, ...)
- debuerreotype Public Forked from debuerreotype/debuerreotype
reproducible, snapshot-based Debian rootfs builder
- docker-debian-artifacts Public Forked from debuerreotype/docker-debian-artifacts
Official builds of debuerreotype-generated Debian tarballs for use in Docker
- docker-debian-eol-artifacts Public Forked from debuerreotype/docker-debian-eol-artifacts
Official builds of debuerreotype-generated Debian EOL tarballs for use in Docker (archive.debian.org)
- sat_competition_2013_sources Public Forked from msoos/sat_competition_2013_sources
SAT Competition 2013 Source Archives
- sat_competition_2014_sources Public Forked from msoos/sat_competition_2014_sources
SAT Competition 2014 Source Archives
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…