citiususc / jflap-libLinks
An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.
☆55Updated 7 years ago
Alternatives and similar repositories for jflap-lib
Users that are interested in jflap-lib are comparing it to the libraries listed below
Sorting:
- The Next Generation Logic Library☆146Updated 7 months ago
- Java bindings for LLVM libraries☆8Updated 3 years ago
- A free, open-source Java library for modeling automata, graphs, and transition systems☆95Updated 2 weeks ago
- TurnKey artifact for Z3☆38Updated last week
- JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)☆35Updated last year
- JavaScript library for working with automata and grammars for regular and context-free languages☆218Updated 10 months ago
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆55Updated 10 months ago
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆158Updated this week
- A Python library for simulating finite automata, pushdown automata, and Turing machines☆383Updated last week
- JavaSMT - Unified Java API for SMT solvers.☆226Updated this week
- The Ultimate program analysis framework.☆222Updated this week
- SMTInterpol interpolating SMT solver☆67Updated 3 weeks ago
- Scala+lift frontend for automatatutor.com☆10Updated 6 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆69Updated this week
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆48Updated 3 weeks ago
- ☆146Updated this week
- SAT Solver SATCH☆120Updated 2 years ago
- A tool for analyzing and transforming context-free grammars.☆223Updated 2 months ago
- KeY Theorem Prover for Deductive Java Verification☆58Updated last week
- Turing machine simulator in HTML/Javascript☆84Updated last year
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆79Updated 2 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆76Updated last week
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆52Updated last week
- Jape, a configurable proof editor (best at natural deduction and sequent calculus)☆51Updated last year
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆244Updated last week
- Static Analyzer and Verifier☆48Updated 9 months ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆37Updated 2 years ago
- The Vampire Theorem Prover☆339Updated this week
- ⚙️ A conflict-driven nogood learning answer set solver☆126Updated last week
- High-performance probabilistic exact counter☆41Updated 3 weeks ago