Subproject

H1/2

Categories

Core algorithms

Overview

Powerful SAT solver, successor tool of MiraXT.

Publications

---

Benchmarks

SAT Competition Benchmarks

Download

Click here for the binary (single-threaded, preprocessing disabled).

Manual

Just type ./antom on the command line to see how it can be used.

Status

Prototype