logic-ng / LogicNG
The Next Generation Logic Library
☆135Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for LogicNG
- JavaSMT - Unified Java API for SMT solvers.☆186Updated this week
- 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
- SMTInterpol interpolating SMT solver☆61Updated 4 months ago
- An efficient graph solver for generating well-formed models☆26Updated 2 years ago
- TurnKey artifact for Z3☆34Updated last week
- Java Constraint Programming solver☆220Updated 11 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆56Updated this week
- Developer kit for implementing Domain Specific Languages with Xtext. Format, Check, Export and Scope languages of DSL Developer Kit stand…☆42Updated this week
- A free, open-source Java library for modeling automata, graphs, and transition systems☆93Updated 2 months ago
- MPS-extensions aims to ease language development within MPS.☆83Updated this week
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆90Updated this week
- Java parser for digraph DSL (Graphviz DOT language)☆44Updated 7 years ago
- Polyglot Extensible Compiler Framework for Java☆108Updated 2 years ago
- An IntelliJ IDEA plugin that detects refactorings in Git commits☆104Updated 10 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆63Updated last year
- JMiniZinc☆15Updated 4 years ago
- ☆12Updated 6 years ago
- The Standard Interface for Incremental Satisfiability Solving☆48Updated 2 years ago
- Kotlin/Java API for various SMT solvers☆29Updated last month
- ☆43Updated 9 months ago
- Pluggable type-checking for Java☆19Updated this week
- Java Algebra System (JAS) Project☆44Updated 6 months ago
- KeY Theorem Prover for Deductive Java Verification☆48Updated this week
- AST-based structured merge tool for Java, fully Git compatible https://doi.org/10.1109/TSE.2022.3143766☆54Updated this week
- Examples on how to use the Spoon Java source code transformation library☆85Updated 2 years ago
- MontiCore is a language workbench for an efficient development of domain-specific languages.☆83Updated this week
- A Modern Probabilistic Model Checker☆137Updated this week
- Multi-core Decision Diagram (BDD/LDD) implementation☆41Updated last year
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated last year
- This is a clone of an SVN repository at svn://svn.forge.objectweb.org/svnroot/sat4j/maven/trunk. It had been cloned by http://svn2github.…☆9Updated 7 years ago