citiususc / jflap-lib
An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.
☆52Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for jflap-lib
- JFLAP as provided at http://www.jflap.org/ and modified by Marco Aurélio (magsilva@gmail.com)☆34Updated last year
- JavaScript library for working with automata and grammars for regular and context-free languages☆210Updated 3 months ago
- The Next Generation Logic Library☆135Updated this week
- A free, open-source Java library for modeling automata, graphs, and transition systems☆93Updated 2 months ago
- Java bindings for LLVM libraries☆8Updated 3 years ago
- JPL: The Prolog <-> Java interface☆54Updated this week
- TurnKey artifact for Z3☆34Updated last week
- TweetyProject is a collection of Java libraries that implement approaches to different areas of artificial intelligence.☆29Updated this week
- Library for symbolic automata and symbolic visibly pushdown automata☆65Updated last year
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆145Updated 3 months ago
- JavaSMT - Unified Java API for SMT solvers.☆187Updated this week
- SWI-Prolog stable releases☆220Updated last week
- ☆134Updated 2 weeks ago
- Free, interactive class diagrams generator from Java bytecode and Kotlin bytecode.☆176Updated 10 months ago
- A Python library for simulating finite automata, pushdown automata, and Turing machines☆350Updated 2 weeks ago
- SMTInterpol interpolating SMT solver☆61Updated 5 months ago
- A free, open-source Java library for automata learning algorithms☆208Updated last month
- Jasmin is an assembler for the Java Virtual Machine ⛺☆179Updated last year
- The Vampire Theorem Prover☆301Updated this week
- Translate java jar files into Boogie programs☆12Updated 7 months ago
- Constraint Logic Programming over Finite Domains☆170Updated 4 years ago
- A regular expression to SMT-LIB constraint translator☆10Updated 6 years ago
- Polyglot Extensible Compiler Framework for Java☆108Updated 2 years ago
- Cube-and-Conquer SAT solver☆31Updated last year
- SAT Solver SATCH☆110Updated 2 years ago
- A lazy-grounding Answer-Set Programming system☆58Updated 3 weeks ago
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆111Updated 4 months ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆104Updated 2 weeks ago
- A tool for analyzing and transforming context-free grammars.☆207Updated this week
- A Powerpoint CPU☆92Updated 3 years ago