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 3 years ago
• limo1996 / SAT-Solver
  Parallel SAT Solver
  ☆10Updated 8 years ago
• liuxfiu / simulus
  Simulus - A Discrete-Event Simulator in Python
  ☆14Updated last year
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated last year
• AI-Planning / lifted-pddl
  A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.
  ☆17Updated last month
• mbdevpl / horast
  Human-oriented abstract syntax tree (AST) parser/unparser for Python 3 that doesn't discard comments.
  ☆16Updated 6 years ago
• vardigroup / FourierSAT
  A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.
  ☆12Updated last year
• umangm / realsyn
  Automated Controller Synthesis
  ☆15Updated 7 years ago
• ZuseZ4 / Rust_RL
  A Reinforcement Learning / Neural Network library, written in Rust.
  ☆21Updated 4 years ago
• eytans / easter-egg
  easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once
  ☆13Updated 10 months ago
• Formal-Systems-Laboratory / ROSRV
  ☆15Updated 4 years ago
• 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
  ☆111Updated 2 months ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆52Updated last month
• black-sat / black
  BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)
  ☆22Updated 4 months ago
• NeVerTools / pyNeVer
  A Python library for learning and verification of neural networks and other machine learning models
  ☆13Updated 4 months ago
• murxla / murxla
  A model-based API Fuzzer for SMT Solvers.
  ☆14Updated 3 months ago
• lijwen2748 / simplecar
  ☆15Updated 3 years ago
• UQ-PAC / BASIL
  The Basil pipeline for concurrent information flow analysis in AArch64 binaries.
  ☆17Updated this week
• Melevir / flake8-functions-names
  An extension for flake8 that validates functions names, decomposition and conformity with annotations.
  ☆27Updated 2 years 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
• mgudemann / iimc
  ☆14Updated 8 years ago
• formalmethods / intrepid
  Intrepyd Model Checker
  ☆18Updated 4 years ago
• jia-kai / eevbnn
  Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks
  ☆13Updated 3 years ago
• MarkusRabe / cadet
  A fast and certifying solver for quantified Boolean formulas.
  ☆26Updated 9 months ago
• garciparedes / awesome-uva
  A curated list of UVa projects
  ☆16Updated 4 years ago
• crillab / d4v2
  ☆14Updated 8 months ago
• smarie / python-autoclass
  A python 3 library providing functions and decorators to automatically generate class code, such as constructor body or properties getter…
  ☆38Updated 4 years ago
• MaineKuehn / usim
  Lightweight Python Simulation Framework
  ☆22Updated last year
• fslivovsky / qute
  Qute: a dependency learning QBF solver.
  ☆14Updated last month