cspuz_core

CSP solver for puzzles

Build

To build cspuz_core, you need to setup Rust and a C++ compiler first.

Then, clone this repository including submodules:

git clone --recursive https://github.com/semiexp/cspuz_core.git

and you can build cspuz_core by

cargo build --release

This will produce a binary in target/release/:

• cli: a CLI interface compatible with Sugar and csugar.

Install a Python binding

You can install cspuz_core as a Python binding:

pip install .

After running this command, a Python package cspuz_core will be installed.

If you are running cspuz_core on Mac, please follow the instruction in PyO3 user guide.