Alternatives and similar repositories for isar

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

• y-t-bot / opensea-instant-outbidder-bidding-bot
  Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…
  ☆100Updated 2 years ago
• liuxfiu / simulus
  Simulus - A Discrete-Event Simulator in Python
  ☆13Updated last year
• limo1996 / SAT-Solver
  Parallel SAT Solver
  ☆10Updated 7 years ago
• KarrLab / de_sim
  Python-based object-oriented discrete-event simulation tool for complex, data-driven modeling
  ☆34Updated 4 years ago
• vardigroup / FourierSAT
  A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
  ☆12Updated last year
• koehlma / momba
  A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
  ☆19Updated last year
• Zac-HD / hypofuzz
  Adaptive fuzzing of Hypothesis tests
  ☆101Updated last month
• egraphs-good / egraphs-good.github.io
  egraphs-good website
  ☆18Updated last year
• brandtbucher / pycapi
  Over 600 fast Python bindings to the CPython C API. 🤯
  ☆62Updated last year
• sampsyo / minisynth
  program synthesis is possible
  ☆40Updated 6 years ago
• eytans / easter-egg
  easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once
  ☆13Updated 8 months ago
• eve-mas / eve-parity
  Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…
  ☆21Updated last year
• umangm / realsyn
  Automated Controller Synthesis
  ☆15Updated 7 years ago
• berkeley-abc / mvsis
  A copy of the latest version of MVSIS
  ☆12Updated 4 years ago
• mbdevpl / horast
  Human-oriented abstract syntax tree (AST) parser/unparser for Python 3 that doesn't discard comments.
  ☆16Updated 6 years ago
• smacke / pyccolo
  Declarative instrumentation for Python.
  ☆100Updated this week
• int-main / Quine-McCluskey
  Implementation of Quine McCluskey algorithm in Python 3
  ☆58Updated last year
• Formal-Systems-Laboratory / ROSRV
  ☆15Updated 4 years ago
• formalmethods / intrepid
  Intrepyd Model Checker
  ☆18Updated 4 years ago
• lijwen2748 / simplecar
  ☆15Updated 3 years ago
• JmfanBU / ReachNNStar
  Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)
  ☆17Updated 2 years ago
• egraphs-good / egglog-python
  Python bindings for the egglog rust library
  ☆90Updated last week
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 4 years ago
• yihozhang / relational-ematching-benchmark
  ☆16Updated 3 years ago
• ikollipara / monadic-error
  Monadic Error Handling for Python
  ☆11Updated last year
• gaphor / generic
  Generic programming library for Python
  ☆61Updated this week
• panhomyoung / phySAT
  Semi-Tenser Product based SAT and AllSAT solver, where it can solve CNF and circuit input.
  ☆17Updated 2 years ago
• Zac-HD / hypothesmith
  Hypothesis strategies for generating Python programs, something like CSmith
  ☆107Updated last year
• Melevir / flake8-functions-names
  An extension for flake8 that validates functions names, decomposition and conformity with annotations.
  ☆27Updated 2 years ago
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated last year