osat

OCaml experimental sat3 solver

Stars

3

Forks

0

Language

OCaml

Last Updated

Jul 04, 2020

Similar Repos
Repo Language Stars Description Updated At
OCaml 3 Experimental stuff with an experimental ocaml-git Jul 21, 2018
C 9 OCaml bindings to QBF solver(s) Apr 11, 2023
OCaml 24 OCaml bindings to wlroots [experimental] Jan 17, 2022
C 8 OCaml binding to liblzma [EXPERIMENTAL] Dec 01, 2021
C 2 Yices 2 SMT solver binding for OCaml Nov 23, 2018
OCaml 263 Experimental web framework for ReasonML & OCaml Jan 19, 2023
OCaml 2 Experimental version of the ocaml xenstore service Feb 15, 2016
Rust 62 safe FFI between OCaml and Rust (experimental) Jun 15, 2022
OCaml 4 A very experimental dungeon crawler in ocaml Oct 30, 2022
OCaml 50 O(N log N)-space IPC solver in OCaml Apr 02, 2023
SMT 6 A modular SMT solver in OCaml, based on mcSAT Jan 15, 2022
SMT 38 [research] A modular SMT solver in OCaml, based on mcSAT Mar 16, 2023
Julia 11 An experimental solver for (disjunctive) mixed-integer programming Feb 28, 2022
OCaml 22 Experimental model finder/SMT solver for functional programming. Feb 26, 2023
OCaml 5 CDCL (Conflict-Driven Clause Learning) based SAT solver written in OCaml Dec 30, 2018
OCaml 13 An experimental implementation of (extended) featherweight-java (FJ) written in OCaml. May 04, 2021
OCaml 3 Documentation for atdgen Nov 02, 2020
OCaml 3 Investigating incomplete OCaml stack backtraces Nov 02, 2020
OCaml 3 OCaml-stuffed templates Nov 02, 2020
OCaml 3 Epsilon-greedy solution to the multiarmed-bandit problem, with recency bias Nov 02, 2020
OCaml 3 How much stuff fits in a spherical shell of various dimensions? Nov 02, 2020
OCaml 3 Dynamic signal uniformization Apr 07, 2021
OCaml 3 Clone of Thomas Hale's flyspeck project (a formal proof of the Kepler conjecture using HOL … Apr 18, 2020
OCaml 4 An implementation of a Hindley-Milner type system with Algorithm W for inference in OCaml. Jan 25, 2022
OCaml 4 Runtime and runner for a compiler from SQL to JavaScript Mar 22, 2022
OCaml 4 Pure OCaml parser for URIs for Geographic Locations Apr 22, 2022
OCaml 4 An automatic recursive function transformer. May 13, 2022
OCaml 4 API + Telegram bot + SPA for Dota 2 hero voicelines Jun 07, 2021
    summhub-app
OCaml 4 None Apr 01, 2019
OCaml 4 Access the Linear or RBF kernel SVM from OCaml using the R e1071 or svmpath … Mar 09, 2020
OCaml 4 Wrapper on top of libsvm-tools Nov 16, 2021
OCaml 4 Ocaml Learning Dec 29, 2015
OCaml 4 Mathematical proof checker which can be used to create Qeditas theories, signatures and documents Sep 01, 2021
OCaml 4 testing ppx_deriving_crowbar by automatically deriving parsetrees, and why not test them after that Aug 03, 2020
OCaml 4 Tools for making, manipulating, and viewing cross-stitch patterns. Feb 03, 2022
OCaml 4 Spreadsheet demo code from http://semantic-domain.blogspot.com/2015/07/how-to-implement-spreadsheet.html with additional test harness Jun 10, 2019
OCaml 4 Repositório com o conteúdo de Testes Unitários que aprensentei na Disciplina de Qualidade e Teste … Jul 20, 2022
    redex-phenomic
OCaml 4 None Jan 14, 2019
OCaml 4 Modular type checking using open types Feb 12, 2016
OCaml 4 SCGI protocol library for use in ocaml web applications Nov 26, 2020
OCaml 4 This is a modified version of Ott 0.25 Jan 28, 2021
OCaml 4 Intl bindings for Bucklescript Jul 05, 2021
OCaml 4 An implementation of dependently typed lambda calculus Jul 18, 2022
OCaml 4 Parser for chess Portable Game Format Aug 28, 2017
OCaml 4 一个用 OCaml 实现的 http(s) 代理服务器, 极低的资源占用，支持 Linux 和 Mac OSX 在内的 Unix. May 12, 2022
    bs-react-router-dom
OCaml 4 None Nov 26, 2017
OCaml 4 OCaml bindings to libyara May 13, 2022
OCaml 4 An experimental Scheme Nov 02, 2020
OCaml 4 An experiment in running zeit/micro using ocaml + bucklescript Jun 10, 2020
OCaml 4 "Functional Pearls" parsing in OCaml Aug 29, 2021