#

solvers

Here are 3 public repositories matching this topic...

acorrenson / modulus

A constraint solver built from scratch in OCaml

solver logic logic-programming sat-solver smt smt-solver hacktoberfest solvers theories smt-lib sat

Updated Dec 10, 2021
OCaml

codeanonorg / Octo-syn

Shellcode synthesizer

cybersecurity shellcode solvers formal-specification shellcode-development

Updated Jan 27, 2021
OCaml

mseri / ocaml-cviode

Contact variational integrators - native ocaml implementation

hacktoberfest solvers geometric-integrator

Updated Oct 4, 2020
OCaml

Improve this page

Add a description, image, and links to the solvers topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the solvers topic, visit your repo's landing page and select "manage topics."