libpcp 0.7.0

A constraint solver supporting arithmetic constraints over integers.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

# Compiled files
*.o
*.so
*.rlib
*.dll
*.DS_Store

# Executables
*.exe

# Generated by Cargo
/target/
/example/target/

# Remove Cargo.lock from gitignore if creating an executable, leave it for libraries
# More information here http://doc.crates.io/guide.html#cargotoml-vs-cargolock
Cargo.lock