The parser published here at the moment are very simple and will be replaced once SATAn has been futher developed.
A collection of ready to use ingestor scripts for SATAn. This collection is intended to make it easy to adopt solvers into your test suite. Additionally, they may also serve as examples on how a solver may be structure and what output is expected.
The logo is the eye icon from Google Material Icons by the Material Design Authors and published under the Apache 2.0 license. This logo is not direct part of the repository and only intended as a small, recognizable icon to make it easier to find.