Crate sat_solver 

This crate provides various algorithms for SAT (Boolean satisfiability problem) and related puzzles.

Modules

command_line

The command_line module provides a command-line interface for the SAT solver.

nonogram

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.

ports

The ports module provides various SAT solver ports.

sat

The sat module implements the SAT solver, which determines the satisfiability of Boolean formulas.

sudoku

The sudoku module implements the Sudoku puzzle solver, which fills a 9x9 grid based on Sudoku rules. This module provides functionality for solving Sudoku puzzles.

Macros

solver_config

A macro to conveniently define a struct that implements SolverConfig.