imandra-ai/minisat-ml imandra-ai/minisat-ml

  • Stars
    star
    38
  • Rank 686,672 (Top 14 %)
  • Language
    OCaml
  • License
    Other
  • Created about 5 years ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
imandra-ai/minisat-ml
github

imandra-ai

Reviews

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

Repository Details

Faithful reimplementation of Minisat 2.2 in OCaml.

More Repositories

1

verified-react

Automated reasoning for React/ReasonML
OCaml
111
star
2

fix-engine

Imandra FIX Engine
OCaml
49
star
3

contracts

Imandra Contracts - Formal verification of smart contracts
OCaml
32
star
4

ocaml-opentelemetry

Instrumentation for https://opentelemetry.io
OCaml
32
star
5

ocaml-tracy

Bindings to the Tracy profiler.
OCaml
25
star
6

ocaml-gcloud

OCaml bindings to Google Cloud Platform APIs
OCaml
25
star
7

reasonml-tic-tac-toe

Reason
19
star
8

imandra-ros

Imandra ROS
OCaml
17
star
9

vega-lite

OCaml library to produce vega-lite visualizations (as json objects)
OCaml
16
star
10

ocaml-cimgui

[wip] bindings to Dear Imgui for OCaml.
OCaml
15
star
11

cme-mdp

Imandra Modelling Language CME MDP Model
Jupyter Notebook
13
star
12

ocaml-pltp

OCaml PLTP: An independent reproduction of the Boyer-Moore Pure Lisp Theorem Prover
OCaml
13
star
13

imandra-prelude

Extracted version of imandra's prelude
OCaml
11
star
14

ipl-examples

Imandra Protocol Language example models
11
star
15

batsmt

[wip] Modular SMT solver in rust
SMT
10
star
16

catapult

Tracing library for OCaml with catapult/TEF export.
OCaml
10
star
17

mhash

hashing library that is generic on the hashing function, and a ppx deriving plugin for type-directer hashers
OCaml
9
star
18

ipl-vscode

Imandra Protocol Language VS Code Plugin
8
star
19

imandra-docs

Imandra Documentation
Jupyter Notebook
7
star
20

imandra-starter-template

Example layout for an Imandra project
OCaml
6
star
21

iex-auction-model

An Imandra model of the IEX Opening/Closing auction logic
OCaml
6
star
22

imandra-stdlib

Standard library for [Imandra](https://imandra.ai)
Makefile
5
star
23

opam-repository

opam repository for AI
5
star
24

socket.io-client-ocaml

OCaml socket.io client
OCaml
5
star
25

imandrakit

Core utils library for Imandra
OCaml
4
star
26

imandra-examples

Imandra/IML examples
OCaml
4
star
27

bs-imandra-client

Imandra client in Bucklescript (via child process)
OCaml
4
star
28

iml-vscode

location of the vsix file for the iml-vscode (imandra IDE) plugin
3
star
29

demo-smart-constructors

demo intended to show the power of smart constructors and private aliases in OCaml
OCaml
3
star
30

batrpc

RPC framework on top of protobuf.
OCaml
3
star
31

imandra-reason-parser

Reason parser for Imandra (fork of reason's parser)
OCaml
3
star
32

ocyaml

OCaml bindings for libyaml
OCaml
3
star
33

ocaml-engineio-client

OCaml
3
star
34

ipl-spacemacs-layer

Emacs Lisp
3
star
35

batsmt-ocaml

OCaml bindings for batsmt
Rust
3
star
36

bs-jest-expect-imandra

Jest helpers for asserting against Imandra client responses
OCaml
2
star
37

imandra-vscode

VSCode extension for developing imandra
TypeScript
2
star
38

behavior-planning

Formally reasoning about autonomous vehicle behavior planning with Imandra
OCaml
2
star
39

imandra-http-api-client

Interact with Imandra via http from within OCaml.
OCaml
2
star
40

cbor-pack

OCaml library + ppx for CBOR-pack: a serialization layer with sharing on top of CBOR
OCaml
2
star
41

imandra-client-http-server

OCaml
2
star
42

tutorials

Imandra tutorials
2
star
43

pa_do

unofficial fork of pa_do
OCaml
1
star
44

imandra-ptime

IML-compatible version of the Ptime library
OCaml
1
star
45

verified-metitarski

Work on fully expansive verification of MetiTarski proofs
Standard ML
1
star
46

imandra-stats-experiments

Experiments combining Imandra with statistical or probabilistic models
Jupyter Notebook
1
star
47

imandra-issues

Public repo for tracking issues/feature requests for Imandra
1
star
48

abstract-transition-systems

[alpha] An implementation of several classic transition systems that describe algorithms for SAT or SMT, for interactive exploration
OCaml
1
star
49

imandra-mode

Emacs mode for Imandra
Emacs Lisp
1
star
50

seating-planner

JavaScript
1
star
51

itr-ast

JavaScript
1
star
52

imandra-ast

Simple AST exportable from Imandra
OCaml
1
star
53

imandra-merlin

Merlin reader for imandra files
OCaml
1
star
54

regions-rl

Collection of examples for reinforcement learning
Jupyter Notebook
1
star