sapsrt
Licence
not identified No licence file or recognizable licence header was found in the archived sources. SAT Heritage redistributes the sources as the competition did; before any other use, ask the authors. If you know the licence, send a pull request adding a license field to this entry.
Pull it from Docker and run it
docker pull satex/sapsrt:2007 docker run --rm -v $PWD:/data satex/sapsrt:2007 instance.cnf
No build needed: the image is published on Docker Hub (checked 2026-09-25). Mount the directory that holds your instance on /data; the proof file is optional and not produced by this solver. Its full provenance is kept: the archived sources, the pinned build environment and the recipe are all listed below, and satex build sapsrt:2007 rebuilds the same image on your own machine if you would rather not trust ours (slower, same solver).
Download the binary sapsrt, the binary distributed by the competition, as archived by SAT Heritage: no sources are available for this solver, the image packages this file as is, nothing is compiled. Downloaded 18 times.
- Licence
- not identified: no licence file or header found in the archive; if you know it, send a pull request
- Image
satex/sapsrt:2007- Command
./sapsrt FILECNF RANDOMSEED- Compressed input
- decompressed by the image
How it is built
- Recipe
- binary distribution
- Builder
generic/binary-v1- Environment
debian/eol:sarge-slim- Sources
- sapsrt
Last verification
Run on 2026-09-16.
Build
| builder-base-image | ok | |
| compile | skip | binary distribution |
| docker-engine | ok | |
| image-assemble | ok | |
| runtime-base | ok | |
| runtime-base-image | ok | |
| runtime-dependencies | ok | |
| source-download | ok | |
| source-extract | ok |
Tests
| launch | ok | |
| sat-gzip-model | ok | |
| sat-gzip-result | ok | SAT |
| sat-gzip-termination | ok | SAT |
| sat-model | ok | |
| sat-result | ok | SAT |
| sat-termination | ok | SAT |
| unsat-proof | skip | incomplete solver |
| unsat-result | skip | incomplete solver |