copper 0.1.0

A constraint programming solver.
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
# list all available commands
help:
    @just --list

# lint and type check code with static analyzers
check:
    cargo fmt --check
    cargo clippy --tests --examples -- --deny warnings
    cargo check --tests --examples
    RUSTDOCFLAGS='--deny warnings' cargo doc

# run code quality and logic checks
ci: check
    cargo test