Repositories list

• docker-images

  Public
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers

  dockerreproducibilitysat+ 1sat-solvers

  Python

  •

  MIT License

  •3•38•23•1•Updated Dec 18, 2022Dec 18, 2022

• debuerreotype

  Public
  reproducible, snapshot-based Debian rootfs builder

  Shell

  •

  MIT License

  •60•0•0•0•Updated Aug 3, 2020Aug 3, 2020

• docker-debian-artifacts

  Public
  Official builds of debuerreotype-generated Debian tarballs for use in Docker

  Shell

  •

  Apache License 2.0

  •108•0•0•0•Updated Aug 3, 2020Aug 3, 2020

• docker-debian-eol-artifacts

  Public
  Official builds of debuerreotype-generated Debian EOL tarballs for use in Docker (archive.debian.org)

  Shell

  •

  Apache License 2.0

  •1•0•0•0•Updated Jul 17, 2020Jul 17, 2020

• sat_competition_2013_sources

  Public
  SAT Competition 2013 Source Archives

  1•0•0•0•Updated Apr 14, 2019Apr 14, 2019

• sat_competition_2014_sources

  Public
  SAT Competition 2014 Source Archives

  1•0•0•0•Updated Apr 14, 2019Apr 14, 2019