GitHub / crillab / crustabri
An argumentation framework library & solver.
JSON API: https://data.code.gouv.fr/api/v1/hosts/GitHub/repositories/crillab%2Fcrustabri
Stars: 2
Forks: 2
Open issues: 0
License: gpl-3.0
Language: Rust
Size: 304 KB
Dependencies parsed at:
16
Created at: over 1 year ago
Updated at: 12 months ago
Pushed at: over 1 year ago
Last synced at: 7 days ago
Cargo.toml
cargo
- assert_cmd 2.0 development
- assert_fs 1.0 development
- paste 1.0.11 development
- predicates 2.1 development
- anyhow 1.0.65
- cadical 0.1.14
- chrono 0.4.19
- clap 2.33.3
- fern 0.6.0
- lazy_static 1.4.0
- log 0.4.20
- permutator 0.4.3
- regex 1.6.0
- strum 0.24.1
- strum_macros 0.24.1
- sysinfo 0.23.13