Alternatives and similar repositories for conjure:

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

• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆120Updated last week
• Deducteam / Dedukti
  Implementation of the λΠ-calculus modulo rewriting
  ☆206Updated last week
• sneeuwballen / zipperposition
  An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…
  ☆141Updated 6 months ago
• formalabstracts / formalabstracts
  ☆162Updated 5 years ago
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆143Updated 5 years ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆41Updated 3 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 9 months ago
• csplib / csplib
  A benchmark library for constraints
  ☆90Updated 6 months ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆68Updated 2 years ago
• gebner / hott3
  HoTT in Lean 3
  ☆79Updated 4 years ago
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆85Updated 4 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated this week
• bollu / blaze
  Haskell re-implementation of STOKE, the stochastic superoptimizer
  ☆63Updated 5 years ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆157Updated 5 months ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆122Updated 5 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆112Updated 5 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 6 years ago
• nadia-polikarpova / synquid
  ☆126Updated 3 years ago
• marijnheule / microsat
  microsat
  ☆134Updated 2 years ago
• kirkedal / rfun-interp
  Interpreter for the reversible functional language rFun
  ☆36Updated 7 years ago
• imdea-software / htt
  Hoare Type Theory
  ☆74Updated last week
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆23Updated 5 years ago
• rocq-community / corn
  Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
  ☆114Updated 2 months ago
• andrejbauer / marshall
  Real number computation software
  ☆123Updated 2 years ago
• blanchette / logical_verification_2020
  Companion files for Logical Verification 2020–2021 at VU Amsterdam
  ☆96Updated 4 years ago
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆120Updated 3 years ago
• mmirman / caledon
  higher order dependently typed logic programing
  ☆170Updated 6 years ago
• shnarazk / mios
  A SAT solver written in Haskell.
  ☆39Updated 6 years ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆125Updated 2 years ago