GitHub / crillab / crustabri
An argumentation framework library & solver.
JSON API: https://repos.data.code.gouv.fr/api/v1/hosts/GitHub/repositories/crillab%2Fcrustabri
étoiles: 2
forks: 2
issues ouvertes: 0
licence: gpl-3.0
langage: Rust
taille: 304 ko
dépendances analysées:
16
date de création: il y a plus d'un an
date de mise à jour: il y a 12 mois
enregistré: il y a plus d'un an
dernière synchronisation: il y a environ 22 heures
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