GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • stp
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles

This view

  • Original page
  • New address

GeezerVison is showing github.com — Simple Theorem Prover

Pinned Loading

  1. stp stp Public

    Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays.

    C++ 594 145

Repositories

Loading
Type
Language
Sort
Showing 10 of 21 repositories
  • stp Public

    Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays.

    Uh oh!

    There was an error while loading. Please reload this page.

     stp/stp's past year of commit activity
    C++ 594 145 9 3 Updated Oct 28, 2026
  • kissat Public Forked from arminbiere/kissat

    Uh oh!

    There was an error while loading. Please reload this page.

     stp/kissat's past year of commit activity
    C 0 MIT 141 0 0 Updated Oct 27, 2026
  • cadical Public Forked from arminbiere/cadical

    CaDiCaL SAT Solver

    Uh oh!

    There was an error while loading. Please reload this page.

     stp/cadical's past year of commit activity
    C++ 1 MIT 197 0 0 Updated Oct 27, 2026
  • abc Public

    STP's fork of berkeley-abc/abc. master mirrors upstream; stp carries STP's changes.

    Uh oh!

    There was an error while loading. Please reload this page.

     stp/abc's past year of commit activity
    C 0 0 0 2 Updated Oct 14, 2026
  • satsuma Public Forked from markusa4/satsuma

    static symmetry breaking for SAT

    Uh oh!

    There was an error while loading. Please reload this page.

     stp/satsuma's past year of commit activity
    C++ 0 MIT 7 0 0 Updated Oct 13, 2026
  • cryptominisat Public Forked from msoos/cryptominisat

    An advanced SAT solver

    Uh oh!

    There was an error while loading. Please reload this page.

     stp/cryptominisat's past year of commit activity
    C++ 0 228 0 0 Updated Oct 12, 2026
  • unordered_dense Public Forked from martinus/unordered_dense

    STP's fork of ankerl::unordered_dense: the stp branch is what STP builds

    Uh oh!

    There was an error while loading. Please reload this page.

     stp/unordered_dense's past year of commit activity
    C++ 0 MIT 127 0 0 Updated Oct 12, 2026
  • imath Public Forked from creachadair/imath

    STP's fork of IMath: the stp branch is what STP builds

    Uh oh!

    There was an error while loading. Please reload this page.

     stp/imath's past year of commit activity
    C 0 28 0 0 Updated Oct 12, 2026
  • libbf Public

    STP's mirror of Fabrice Bellard's LibBF (https://bellard.org/libbf/). master mirrors the upstream releases; stp carries STP's changes.

    Uh oh!

    There was an error while loading. Please reload this page.

     stp/libbf's past year of commit activity
    C 0 0 0 1 Updated Oct 12, 2026
  • minisat Public Forked from niklasso/minisat

    A minimalistic and high-performance SAT solver

    Uh oh!

    There was an error while loading. Please reload this page.

     stp/minisat's past year of commit activity
    C++ 29 428 0 0 Updated Oct 7, 2026
View all repositories

People
@rgov @khooyp @delcypher @msoos @hellovijay @TrevorHansen @aytey

Top languages

Loading…

Uh oh!

There was an error while loading. Please reload this page.

Most used topics

Loading…

Uh oh!

There was an error while loading. Please reload this page.
You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.