Popular repositories
-
point-location Public
Kirkpatrick's Algorithm for Log(n) point location in planar subdivisions.
-
-
OCaml-SAT-Solvers Public
An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.

