Welcome to StalmarckSAT

StalmarckSAT is a SAT solver based on Stålmarck's algorithm.

This documentation provides information about both the Rust and Python APIs.

• Rust API
• Python API