Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / danielbinder / LogiVis
A teaching aid for concepts and algorithms in logic
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/danielbinder%2FLogiVis
Stars: 2
Forks: 0
Open Issues: 11
License: mit
Language: Java
Repo Size: 15.4 MB
Dependencies:
0
Created: over 1 year ago
Updated: about 1 hour ago
Last pushed: about 11 hours ago
Last synced: about 1 hour ago
Topics: automata, boolean-algebra, boolean-logic, bounded-model-checking, ctl, deterministic, finite-automata, finite-automaton, finite-state-machine, kripke-structure, logic, logic-programming, sat-solver, simulation-finite-automaton, temporal-logic
Files
No dependencies found