SATurno

An educational Rust library for exploring and implementing SAT-Solver algorithms.

SATurno aims to provide a learning platform for logical satisfiability problem-solving techniques. The project includes implementations of key algorithms, such as Tseitin transformations, and serves as a resource for understanding SAT-Solvers.

This library is designed for educational purposes and experimentation rather than production use.

• src/: Core library source code.
• benches/: Performance benchmarks for algorithm evaluation.
• examples/: Practical usage examples to demonstrate the library's features.

• Rust (stable version)

To execute a specific example:

cargo run --example <example_name>

To execute benchmarks:

cargo bench

Contributions are welcome! Feel free to open issues, suggest features, or submit pull requests.

This project is licensed under the MIT License.