Alternatives and similar repositories for these-I3S:

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

• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated 2 years ago
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆23Updated 3 years ago
• OxiDD / oxidd
  Concurrent decision diagram framework written in Rust
  ☆56Updated this week
• 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…
  ☆31Updated this week
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆32Updated this week
• ticktac-project / tchecker
  TChecker is an open-source verification tool for timed automata
  ☆21Updated 8 months ago
• crillab / metrics
  mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity
  ☆11Updated 2 months ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆35Updated 3 months ago
• cvc5 / ethos
  A Flexible and Efficient Proof Checker for SMT Solvers
  ☆19Updated this week
• vprover / vampire
  The Vampire Theorem Prover
  ☆325Updated this week
• imitator-model-checker / imitator
  IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…
  ☆28Updated this week
• nyu-acsys / raven
  An automated deductive program verifier based on concurrent separation logic
  ☆14Updated this week
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆74Updated last month
• nicolasAmat / SMPT
  SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral redu…
  ☆27Updated last year
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆25Updated 3 months ago
• tcsprojects / pgsolver
  A collection of tools for generating, manipulating and - most of all - solving parity games.
  ☆35Updated 6 months ago
• rajarshi008 / Scarlet
  Tool for learning linear temporal logic formulas using combinatorial approach
  ☆14Updated last month
• randriu / synthesis
  ☆22Updated this week
• caterinaurban / Libra
  ☆24Updated 3 years ago
• fslivovsky / qute
  Qute: a dependency learning QBF solver.
  ☆12Updated 2 months ago
• arminbiere / gimsatul
  ☆34Updated 7 months ago
• trolando / oink
  Oink, an implementation of modern parity game solvers
  ☆32Updated last month
• wo / tpg
  Tree Proof Generator
  ☆161Updated last week
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆94Updated this week
• data61 / PSL
  ☆66Updated 3 months ago
• PierreSenellart / apxproof
  LaTeX package for automatically putting proof environments in appendix
  ☆24Updated last year
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆144Updated this week
• formalmethods / intrepid
  Intrepyd Model Checker
  ☆18Updated 3 years ago
• Mondego / dafny-synthesis
  [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods
  ☆40Updated 8 months ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆68Updated last week