aricursion/ocaml-sat aricursion/ocaml-sat

  • Stars
    star
    1
  • Language
    OCaml
  • Created about 1 year ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
aricursion/ocaml-sat
github

aricursion

Reviews

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

Repository Details

An in-progress SAT library for Ocaml

More Repositories

1

xj9

A Minimalist PDF Viewer in Rust
Rust
11
star
2

stlc-lean

Lean
1
star
3

CompileBPV

A compiler for a fragment of SML using CBPV-based IRs
OCaml
1
star
4

LeanAlg

A WIP linear algebra library for Lean
C
1
star
5

EcoLink

@Axolotl163 @naivros @VariableV 7 and Anastasiia Gorobets' submission to EarthXHack2020
JavaScript
1
star
6

Hearthstone-Clicker

You know those websites where you click the screen and a hearthstone card comes up? Let's make those obsolete, shall we?
HTML
1
star