8 Search Results
batsat
OCaml bindings for batsat, a SAT solver in rust
0.7
MIT
Used by 0 other packages
bigstring
A set of utils for dealing with `bigarrays` of `char`
bigstring-unix
I/O functions for bigstrings using file descriptors and memory-maps
choice
Choice monad, for easy backtracking
junit_ounit
JUnit XML reports generation for OUnit tests
2.0.2
LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
Used by 0 other packages
minisat
Bindings to Minisat-C-1.14.1, with the solver included
0.4
BSD-2-clause
Used by 3 other packages
spelll
Fuzzy string searching, using Levenshtein automaton
0.4
BSD-2-Clause
Used by 3 other packages