About Anaconda Help Download Anaconda

Clean and efficient state-of-the-art SAT solver

copied from cf-post-staging / cadical

Installers

  • linux-64 v2.1.3
  • osx-64 v2.1.3

conda install

To install this package run one of the following:
conda install conda-forge::cadical

Description

CaDiCaL is a simplified SAT solver written in C++. It is designed to be clean, efficient, and easy to use. The solver is highly competitive in international SAT competitions and provides both a library and a standalone binary for solving SAT problems.


© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.2) Legal | Privacy Policy