Gbury/dolmen Gbury/dolmen

  • Stars
    star
    78
  • Rank 412,246 (Top 9 %)
  • Language
    OCaml
  • License
    BSD 2-Clause "Sim...
  • Created almost 9 years ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Gbury/dolmen
github

Gbury

Reviews

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

Repository Details

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

More Repositories

1

mSAT

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

ocaml-memgraph

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

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
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