Awesome Open Source

Programming Languages

Search results for c sat solver

9 search results found

The C3, SMT/SAT solver written in C.

Go (golang) bindings for Picosat, the satisfiability solver

Haskell Picosat ⭐ 13

Haskell bindings for PicoSAT solver

A fast and certifying solver for quantified Boolean formulas.

C++ header-only reasoning library

Sat Solver ⭐ 7

Library for solving packages and reading repositories (superseded by libsolv)

FOND solver based on SAT

Streamline Vi Csp ⭐ 7

Simplesatc ⭐ 6

Simple SAT solver using the DPLL algorithm

Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.

Related Searches

C Kernel (12,842)

C Video Game (4,242)

C Driver (4,106)

Python C (4,069)

C Firmware (3,545)

C Arduino (3,118)

C Command Line (2,475)

C Algorithms (2,333)

1-9 of 9 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.