Alternatives and similar repositories for LogicNG:

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

• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆36Updated this week
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆195Updated this week
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆61Updated 6 months ago
• radsz / jacop
  Java Constraint Programming solver
  ☆221Updated last year
• siemens / JMiniZinc
  JMiniZinc
  ☆15Updated 4 years ago
• 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…
  ☆149Updated this week
• dsldevkit / dsl-devkit
  Developer kit for implementing Domain Specific Languages with Xtext. Format, Check, Export and Scope languages of DSL Developer Kit stand…
  ☆43Updated this week
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆109Updated 3 years ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆94Updated this week
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆65Updated this week
• Strumenta / kolasu
  Kotlin Language Support – AST Library
  ☆112Updated this week
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• JetBrains / MPS-extensions
  MPS-extensions aims to ease language development within MPS.
  ☆83Updated this week
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆59Updated 2 months ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆65Updated last year
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆162Updated this week
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆51Updated last month
• eisop / checker-framework
  Pluggable type-checking for Java
  ☆20Updated this week
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆56Updated 2 months ago
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆26Updated 2 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆142Updated this week
• eclipse / xsemantics
  Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…
  ☆32Updated last year
• PoslavskySV / rings
  Rings: efficient JVM library for polynomial rings
  ☆74Updated last year
• arminbiere / satch
  SAT Solver SATCH
  ☆113Updated 2 years ago
• svn2github / SAT4J
  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
• ASSERT-KTH / sorald
  Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033
  ☆92Updated last week
• Schwenger / Thesis-Template
  The skeleton of the tex files used for writing my PhD thesis.
  ☆15Updated 3 years ago
• SpoonLabs / spoon-examples
  Examples on how to use the Spoon Java source code transformation library
  ☆85Updated 2 years ago
• ASSERT-KTH / flacoco
  FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513
  ☆29Updated 2 weeks ago
• tyler-utah / PBL
  A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…
  ☆9Updated 9 years ago