sat_solver/
lib.rs

1#![deny(missing_docs)]
2//! This crate provides various algorithms for SAT (Boolean satisfiability problem) and related puzzles.
3
4/// 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.
5pub mod nonogram;
6
7/// The `sat` module implements the SAT solver, which determines the satisfiability of Boolean
8/// formulas.
9pub mod sat;
10
11/// The `sudoku` module implements the Sudoku puzzle solver, which fills a 9x9 grid based on Sudoku rules.
12pub mod sudoku;
13
14/// The `ports` module provides various SAT solver ports.
15pub mod ports;
16
17/// The `command_line` module provides a command-line interface for the SAT solver.
18pub mod command_line;
sat_solver/lib.rs

sat_solver/
lib.rs
