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:
- JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)☆34Updated last year
- The Next Generation Logic Library☆142Updated 6 months ago
- A free, open-source Java library for modeling automata, graphs, and transition systems☆94Updated 2 weeks ago
- Library for symbolic automata and symbolic visibly pushdown automata☆68Updated 2 months ago
- Java bindings for LLVM libraries☆8Updated 3 years ago
- A tool for analyzing and transforming context-free grammars.☆220Updated last month
- The Ultimate program analysis framework.☆221Updated this week
- TurnKey artifact for Z3☆38Updated this week
- dk.brics.automaton - finite-state automata and regular expressions for Java☆224Updated 10 months ago
- A place for automata☆73Updated last week
- SMTInterpol interpolating SMT solver☆66Updated 3 weeks ago
- JavaScript library for working with automata and grammars for regular and context-free languages☆216Updated 9 months ago
- A lazy-grounding Answer-Set Programming system☆60Updated 3 months ago
- ☆142Updated this week
- Kotlin/Java API for various SMT solvers☆31Updated 3 weeks ago
- Datalog that's as easy as ABC.☆59Updated 2 weeks ago
- The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…☆423Updated this week
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆47Updated last month
- A Datalog compiler and library☆19Updated 3 years ago
- Translate java jar files into Boogie programs☆12Updated last year
- A Python library for simulating finite automata, pushdown automata, and Turing machines☆380Updated this week
- Bottom-Up Technologies for Reuse☆18Updated 2 years ago
- Gamification of Mutation Testing☆42Updated 3 weeks ago
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- Generates loop invariants for program verification☆62Updated 4 years ago
- Java BibTeX API☆59Updated 3 months ago
- JavaSMT - Unified Java API for SMT solvers.☆226Updated this week
- A Shape Analyzer Based on Symbolic Memory Graphs☆75Updated this week
- Polyglot Extensible Compiler Framework for Java☆112Updated 3 years ago
- Java Concolic Unit Testing Engine☆89Updated 10 years ago