Alternatives and similar repositories for LogicNG:

Users that are interested in LogicNG are comparing it to the libraries listed below

• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆224Updated this week
• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆37Updated last week
• OpenJML / OpenJML
  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
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆94Updated last month
• UnitTestBot / ksmt
  Kotlin/Java API for various SMT solvers
  ☆31Updated last month
• radsz / jacop
  Java Constraint Programming solver
  ☆224Updated last year
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆66Updated 3 weeks ago
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆111Updated 3 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆147Updated last week
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• metaborg / spoofax
  Spoofax runtime
  ☆143Updated last week
• arminbiere / satch
  SAT Solver SATCH
  ☆118Updated 2 years ago
• dsldevkit / dsl-devkit
  Developer kit for implementing Domain Specific Languages with Xtext. Format, Check, Export and Scope languages of DSL Developer Kit stand…
  ☆45Updated last week
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆74Updated this week
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆171Updated last week
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆43Updated last year
• antlr / antlr4-intellij-adaptor
  A library to support the use of ANTLR grammars in jetbrains IDE plugins for building custom languages.
  ☆214Updated 5 months ago
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆25Updated 3 years ago
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated 2 years ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆52Updated this week
• cs-au-dk / dk.brics.automaton
  dk.brics.automaton - finite-state automata and regular expressions for Java
  ☆222Updated 9 months ago
• tomnelson / jungrapht-visualization
  visualization and sample code from Java Universal Network Graph ported to use JGraphT models and algorithms
  ☆48Updated 5 months ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆68Updated last month
• meelgroup / approxmc
  Approximate Model Counter
  ☆78Updated 2 weeks ago
• stephenfreund / RoadRunner
  ☆72Updated 7 years ago
• openjdk / tsan
  https://openjdk.org/projects/tsan
  ☆27Updated this week
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 6 months ago
• JetBrains-Research / RefactorInsight
  An IntelliJ IDEA plugin that detects refactorings in Git commits
  ☆106Updated last year
• meelgroup / KCBox
  A toolbox for knowledge compilation
  ☆23Updated last month
• siemens / JMiniZinc
  JMiniZinc
  ☆16Updated 4 years ago