11 search results for "tag:"sat""

Showing 1 - 11
  1. batsat

    No documentation

    OCaml bindings for batsat, a SAT solver in rust
    minisat solver SAT
    simon.cruanes.2007@m4x.org
    0.7
    MIT
    Used by 0 other packages
    29 Dec 2021
  2. grpc

    No documentation

    A modular gRPC library
    network rpc serialisation
    Andrew Jeffery <dev@jeffas.io> Daniel Quernheim <quernd@users.noreply.github.com> Michael Bacarella <m@bacarella.com> Sven Anderson <sven@anderson.de> Tim McGilchrist <timmcgil@gmail.com> et al.
    0.2.0
    BSD-3-Clause
    Used by 4 other packages
    25 Oct 2023
  3. grpc-async

    No documentation

    An Async implementation of gRPC
    network rpc serialisation
    Andrew Jeffery <dev@jeffas.io> Daniel Quernheim <quernd@users.noreply.github.com> Michael Bacarella <m@bacarella.com> Sven Anderson <sven@anderson.de> Tim McGilchrist <timmcgil@gmail.com> et al.
    0.2.0
    BSD-3-Clause
    Used by 1 other packages
    25 Oct 2023
  4. grpc-bench

    No documentation

    Benchmarking package for gRPC
    network rpc serialisation benchmark
    Andrew Jeffery <dev@jeffas.io> Daniel Quernheim <quernd@users.noreply.github.com> Michael Bacarella <m@bacarella.com> Sven Anderson <sven@anderson.de> Tim McGilchrist <timmcgil@gmail.com> et al.
    0.2.0
    BSD-3-Clause
    Used by 0 other packages
    25 Oct 2023
  5. grpc-examples

    No documentation

    Various grpc examples
    network rpc serialisation
    Andrew Jeffery <dev@jeffas.io> Daniel Quernheim <quernd@users.noreply.github.com> Michael Bacarella <m@bacarella.com> Sven Anderson <sven@anderson.de> Tim McGilchrist <timmcgil@gmail.com> et al.
    0.2.0
    BSD-3-Clause
    Used by 0 other packages
    25 Oct 2023
  6. grpc-lwt

    No documentation

    An Lwt implementation of gRPC
    network rpc serialisation
    Andrew Jeffery <dev@jeffas.io> Daniel Quernheim <quernd@users.noreply.github.com> Michael Bacarella <m@bacarella.com> Sven Anderson <sven@anderson.de> Tim McGilchrist <timmcgil@gmail.com> et al.
    0.2.0
    BSD-3-Clause
    Used by 1 other packages
    25 Oct 2023
  7. mc2

    No documentation

    A mcsat-based SMT solver in pure OCaml
    sat smt mcsat
    Simon Cruanes Guillaume Bury
    0.1
    Apache
    Used by 0 other packages
    18 Nov 2020
  8. minisat

    No documentation

    Bindings to the SAT solver Minisat, with the solver included.
    minisat solver SAT
    simon.cruanes.2007@m4x.org
    0.6
    BSD-2-clause
    Used by 2 other packages
    14 Jun 2023
  9. msat

    No documentation

    Library containing a SAT solver that can be parametrized by a theory
    sat smt cdcl functor
    Simon Cruanes Guillaume Bury
    0.9.1
    Apache-2.0
    Used by 5 other packages
    24 Mar 2021
  10. msat-bin

    No documentation

    SAT solver binary based on the msat library
    sat
    Simon Cruanes Guillaume Bury
    0.9.1
    Apache-2.0
    Used by 0 other packages
    24 Mar 2021
  11. qbf

    No documentation

    QBF solving in OCaml, including bindings to solvers
    clib:quantor clib:qdpll clib:picosat
    Simon Cruanes
    0.3
    BSD-3-clause
    Used by 0 other packages
    13 Jan 2021