Gbury/Ocaml-simplex Gbury/Ocaml-simplex

  • Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language
    OCaml
  • License
    BSD 2-Clause "Sim...
  • Created over 10 years ago
  • Updated about 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Gbury/Ocaml-simplex
github

Gbury

Reviews

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

Repository Details

An ocaml implementation of variants of the simplex and branch&bound algorithms for satisfiability.

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

archsat

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

ocaml-cgroups

OCaml interface to cgroups
OCaml
20
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