logic-ng / LogicNGLinks
The Next Generation Logic Library
☆142Updated 6 months ago
Alternatives and similar repositories for LogicNG
Users that are interested in LogicNG are comparing it to the libraries listed below
Sorting:
- TurnKey artifact for Z3☆38Updated this week
- Java Constraint Programming solver☆224Updated last year
- JavaSMT - Unified Java API for SMT solvers.☆226Updated this week
- An efficient graph solver for generating well-formed models☆25Updated 3 years 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…☆155Updated this week
- Pluggable type-checking for Java☆22Updated this week
- A collaborative and scalable open source platform for domain-specific models on the web and in the cloud☆69Updated last year
- ☆44Updated last year
- SMTInterpol interpolating SMT solver☆66Updated 3 weeks ago
- JMiniZinc☆17Updated 4 years ago
- Developer kit for implementing Domain Specific Languages with Xtext. Format, Check, Export and Scope languages of DSL Developer Kit stand…☆45Updated this week
- A free, open-source Java library for modeling automata, graphs, and transition systems☆95Updated 2 weeks ago
- A lazy-grounding Answer-Set Programming system☆60Updated 3 months ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated last year
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- A library to support the use of ANTLR grammars in jetbrains IDE plugins for building custom languages.☆216Updated 5 months ago
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- The Melange Language Workbench☆29Updated last year
- MPS-extensions aims to ease language development within MPS.☆88Updated this week
- Spoofax runtime☆145Updated last month
- Kotlin Language Support – AST Library☆111Updated last week
- Library for symbolic automata and symbolic visibly pushdown automata☆68Updated 2 months ago
- The LTSmin model checking toolset☆60Updated 7 months ago
- Java bindings for LLVM libraries☆8Updated 3 years ago
- AST-based structured merge tool for Java, fully Git compatible https://doi.org/10.1109/TSE.2022.3143766☆58Updated 3 months ago
- An Example for an Xtext Language Server☆55Updated last year
- A Modern Probabilistic Model Checker☆146Updated this week
- KeY Theorem Prover for Deductive Java Verification☆56Updated this week
- Seven Languages in Seven Weeks (with Xtext)☆71Updated 2 years ago
- Java Concolic Unit Testing Engine☆89Updated 10 years ago