sat-solver 0.2.1

A SAT solver implemented in Rust, focusing on performance, efficiency and experimentation.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

#![deny(missing_docs)]
//! This crate provides various algorithms for SAT (Boolean satisfiability problem) and related puzzles.

/// The `nonogram` module implements the Nonogram puzzle solver, which is a logic puzzle where cells in a grid must be filled based on given clues.
pub mod nonogram;

/// The `sat` module implements the SAT solver, which determines the satisfiability of Boolean
/// formulas.
pub mod sat;

/// The `sudoku` module implements the Sudoku puzzle solver, which fills a 9x9 grid based on Sudoku rules.
pub mod sudoku;

/// The `ports` module provides various SAT solver ports.
pub mod ports;

/// The `command_line` module provides a command-line interface for the SAT solver.
pub mod command_line;