Gbury/archsat Gbury/archsat

  • Stars
    star
    26
  • Rank 930,752 (Top 19 %)
  • Language
    OCaml
  • License
    MIT License
  • Created over 6 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Gbury/archsat
github

Gbury

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.

More Repositories

1

mSAT

A modular sat/smt solver with proof output.
OCaml
97
star
2

dolmen

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
OCaml
78
star
3

ocaml-memgraph

A small library to output memory graph for ocaml values
OCaml
34
star
4

ocaml-cgroups

OCaml interface to cgroups
OCaml
20
star
5

Ocaml-simplex

An ocaml implementation of variants of the simplex and branch&bound algorithms for satisfiability.
OCaml
8
star
6

sat-bench

A small repo to test and benchmark different sat solvers
OCaml
4
star
7

hashcode18

Foobar
OCaml
3
star
8

tune

1
star
9

4ever

Database for dance competitions and scoring systems
OCaml
1
star