Clasp binaries for Windows

[Axel Kemper]

Clingo no longer does offer precompiled Clasp binaries for Windows.

Is there some download repository to avoid the build process?

[Roland Kaminski]

We do not provide standalone binaries anymore. For Windows there are packages for conda. A clasp executable is part of the clingo package:

• https://anaconda.org/potassco/clingo
• https://anaconda.org/conda-forge/clingo

[Axel Kemper]

Thank you!

I could easily extract the clasp.exe from the clingo conda package.
Clasp is still a very fast SAT solver on par with recent releases of Armin Biere (CaDiCal, Kissat, Gimsatul).