Crate cspsolver

Crate cspsolver 

Source
Expand description

§CSP Solver

A constraint satisfaction problem (CSP) solver library.

This library provides tools for solving constraint satisfaction problems, including constraint propagation and search algorithms.

§Features

  • Constraint propagation
  • Backtracking search
  • Domain filtering
  • Support for various constraint types

§Example

use cspsolver::prelude::*;

// Example usage will be added as the library develops

Modules§

domain
Domain representation and manipulation for CSP variables
gac
model
prelude
Prelude module for CSP solver
props
search
solution
utils
utils64
vars
views