Alternatives and similar repositories for paresy:

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

• akrasuski1 / eusolver-priority
  Grammar prioritization support for EUSolver.
  ☆12Updated 5 years ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆28Updated 6 months ago
• VeriFIT / mata
  A fast and simple automata library
  ☆23Updated this week
• wenxiwang / neuroback
  ☆9Updated 3 months ago
• Columpio / RInGen
  Regular Invariant Generator and SMTLIB2 code transformer
  ☆12Updated 2 years ago
• meelgroup / ganak
  The first scalable probabilistic exact counter
  ☆31Updated this week
• TermCOMP / TPDB
  The Termination Problem Database
  ☆29Updated 3 months ago
• mschlund / FPsolve
  FPsolve: solver for polynomial equations over omega-continuous semirings
  ☆11Updated 9 years ago
• probing-lab / polar
  ☆16Updated this week
• trishullab / cflobdd
  ☆11Updated 9 months ago
• Mondego / dafny-synthesis
  [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods
  ☆43Updated 10 months ago
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆22Updated last year
• purdue-cap / DryadSynth
  A SyGuS Solver
  ☆26Updated this week
• marijnheule / CnC
  Cube-and-Conquer SAT solver
  ☆34Updated last year
• Laakeri / sharpsat-td
  Entry to model counting competition 2021.
  ☆20Updated 9 months ago
• namin / holey
  Python library for program synthesis and symbolic execution combining constraint solving and LLMs
  ☆17Updated 3 weeks ago
• fredfeng / Trinity
  ☆24Updated 3 years ago
• arminbiere / runlim
  ☆16Updated last year
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated this week
• QuMuLab / dsharp
  ☆17Updated 2 years ago
• hkust-taco / superoop
  Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…
  ☆11Updated last year
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆34Updated 2 years ago
• secure-foundations / mariposa
  ☆13Updated last month
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆27Updated 3 weeks ago
• tyler-utah / PBDD
  A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…
  ☆14Updated 11 years ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆32Updated 10 months ago
• grigoryfedyukovich / aeval
  AE-solver and Skolemizer
  ☆17Updated 4 months ago
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆24Updated 4 years ago
• arminbiere / gimsatul
  ☆34Updated 9 months ago