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§

model
prelude
Prelude module for CSP solver
props
search
solution
utils
vars
views