selen 0.15.5

Constraint Satisfaction Problem (CSP) solver
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12

```
    https://github.com/taiki-e/cargo-llvm-cov
    cargo llvm-cov --html
    cargo llvm-cov --lcov --output-path lcov.info
    open ./target/llvm-cov/html/index.html

Only directory: cargo llvm-cov --html -- --include 'src/flatzinc/*' - does not work.
cargo llvm-cov --html --ignore-filename-regex '^(?!src/flatzinc/)'
cargo llvm-cov --html --ignore-filename-regex '(src/(?!flatzinc)|tests|examples|benchmarks|debug)'

cargo llvm-cov --html --ignore-filename-regex '(tests/|examples/|benchmarks/|debug/)' --output-dir target/llvm-cov
```