Alternatives and similar repositories for these-I3S

Users that are interested in these-I3S are comparing it to the libraries listed below

• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆427Updated last month
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆30Updated 9 months ago
• ssoelvsten / bdd-benchmark
  Benchmarking Suite for BDD packages
  ☆17Updated 2 weeks ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆149Updated 2 weeks ago
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆37Updated 2 years ago
• OxiDD / oxidd
  Concurrent decision diagram framework written in Rust
  ☆62Updated last month
• arminbiere / cadical
  CaDiCaL SAT Solver
  ☆466Updated this week
• tias / constraint-solving-course
  An open-source course on constraint solving
  ☆20Updated 2 weeks ago
• hintikkasworld / hintikkasworld
  Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.
  ☆12Updated last year
• fslivovsky / qute
  Qute: a dependency learning QBF solver.
  ☆14Updated 6 months ago
• CPMpy / PyConA
  A cpmpy-based library for constraint acquisition.
  ☆18Updated 3 weeks ago
• crillab / metrics
  mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity
  ☆11Updated 2 months ago
• arminbiere / satch
  SAT Solver SATCH
  ☆120Updated 2 years ago
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆30Updated last month
• meelgroup / approxmc
  Approximate Model Counter
  ☆78Updated 3 weeks ago
• CPMpy / cpmpy
  Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.
  ☆273Updated last week
• audemard / glucose
  The glucose SAT solver
  ☆116Updated last month
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆44Updated last year
• vprover / vampire
  The Vampire Theorem Prover
  ☆339Updated this week
• ivan-gavran / samples2LTL
  A tool for obtaining LTL formulas from a sample of positive and negative words.
  ☆23Updated 3 years ago
• pysmt / pysmt
  pySMT: A library for SMT formulae manipulation and solving
  ☆610Updated this week
• ssoelvsten / adiar
  An I/O-efficient implementation of (Binary) Decision Diagrams
  ☆29Updated this week
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆43Updated 2 years ago
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆36Updated this week
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆24Updated 4 years ago
• agurfinkel / spacer-on-jupyter
  ☆17Updated 2 years ago
• crillab / pyxai
  PyXAI (Python eXplainable AI) is a Python library (version 3.6 or later) allowing to bring formal explanations suited to (regression or c…
  ☆34Updated 2 months ago
• dreal / dreal4
  Automated Reasoning in Nonlinear Theories of Reals
  ☆165Updated last year
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆37Updated 8 months ago
• tulip-control / dd
  Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
  ☆200Updated last month