GJDuck / SAT.js

Related projects ⓘ

Alternatives and complementary repositories for SAT.js

• tammet / logictools
  The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…
  ☆71Updated 4 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆67Updated last year
• javert2 / JaVerT2.0
  JaVerT2.0 - Compositional Symbolic Execution for JavaScript
  ☆19Updated 4 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆27Updated 11 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆34Updated 6 months ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆120Updated 7 years ago
• lammich / isabelle_llvm
  Isabelle LLVM Code Generator and Refinement
  ☆26Updated this week
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆141Updated 4 years ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆103Updated last year
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆28Updated last month
• rishabhs / sygus-comp14
  ☆40Updated 5 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆112Updated 6 years ago
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆64Updated this week
• ProofSystem / Encyclopedia
  An Open Encyclopedia of Proof Systems
  ☆116Updated 2 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆87Updated 3 months ago
• parsimony-ide / parsimony
  a web-based development environment for constructing parsers by example (backend code)
  ☆16Updated 7 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆73Updated this week
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆117Updated last week
• kframework / javascript-semantics
  KJS: A Complete Formal Semantics of JavaScript
  ☆85Updated 8 years ago
• andrejbauer / marshall
  Real number computation software
  ☆121Updated 2 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  ☆0Updated 5 years ago
• sampsyo / minisynth
  program synthesis is possible
  ☆39Updated 5 years ago
• eprover / eprover
  ☆132Updated this week
• emina / kodkod
  Kodkod solver for relational logic
  ☆74Updated last year
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆53Updated last week
• sorear / smm
  sorear's Metamath system engine
  ☆13Updated 8 years ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆147Updated last month
• Kraks / sai
  Staged Abstract Interpreters
  ☆65Updated last year