Gbury/ocaml-memgraph Gbury/ocaml-memgraph

  • Stars
    star
    34
  • Rank 747,062 (Top 16 %)
  • Language
    OCaml
  • License
    MIT License
  • Created almost 9 years ago
  • Updated 5 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Gbury/ocaml-memgraph
github

Gbury

Reviews

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

Repository Details

A small library to output memory graph for ocaml values

More Repositories

1

mSAT

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

dolmen

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
OCaml
75
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
25
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