ac3rm 0.1.1

An incremental AC-3rm propagator in Rust with dynamic assertion and retraction of constraints
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

[package]
name = "ac3rm"
version = "0.1.1"
authors = ["Riccardo De Benedictis"]
edition = "2024"
description = "An incremental AC-3rm propagator in Rust with dynamic assertion and retraction of constraints"
readme = "README.md"
repository = "https://github.com/pstlab/AC-3rm"
license-file = "LICENSE"
keywords = ["constraints", "arc-consistency", "ac3", "ac3rm", "csp"]
categories = ["algorithms", "data-structures"]

[dependencies]
tracing = "0.1.44"