Alternatives and similar repositories for LogicNG:

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

• 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…
  ☆151Updated 3 weeks ago
• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆36Updated this week
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆217Updated this week
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆63Updated last month
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆110Updated 3 years ago
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆95Updated 2 weeks ago
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆25Updated 3 years ago
• kredel / java-algebra-system
  Java Algebra System (JAS) Project
  ☆44Updated 10 months ago
• radsz / jacop
  Java Constraint Programming solver
  ☆222Updated last year
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 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 2 weeks ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆70Updated this week
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆67Updated last month
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆54Updated this week
• JetBrains / MPS-extensions
  MPS-extensions aims to ease language development within MPS.
  ☆85Updated this week
• eclipse-texlipse / texlipse
  Eclipse Texlipse
  ☆62Updated last month
• 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 8 years ago
• oracle / sandwood
  Sandwood - A JVM based Java like Probabilistic Programming Language
  ☆26Updated 4 months ago
• cwi-swat / recaf
  Recaffeinating Java ☕️ with custom semantics and extensions
  ☆51Updated 2 years ago
• arminbiere / satch
  SAT Solver SATCH
  ☆113Updated 2 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆57Updated 5 months ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆58Updated 4 months ago
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆167Updated 3 weeks 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
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆60Updated last month
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆145Updated this week
• smtlib / jSMTLIB
  jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…
  ☆26Updated 2 years ago
• metaborg / spoofax
  Spoofax runtime
  ☆140Updated 2 months ago
• jbibtex / jbibtex
  Java BibTeX API
  ☆58Updated last month
• MetaBorgCube / declare-your-language
  a book about declarative language definition
  ☆23Updated 9 years ago