GitHub / danielbinder / LogiVis
A teaching aid for concepts and algorithms in logic
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/danielbinder%2FLogiVis
PURL: pkg:github/danielbinder/LogiVis
Stars: 2
Forks: 0
Open issues: 9
License: mit
Language: Java
Size: 15.5 MB
Dependencies parsed at: Pending
Created at: over 2 years ago
Updated at: about 1 year ago
Pushed at: about 1 year ago
Last synced at: about 1 year 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