Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with boolean-satisfiability-problem

A curated list of projects in awesome lists tagged with boolean-satisfiability-problem .

https://github.com/aggstam/sat_gpu

This program solves the Propositional (Boolean) Satisfiability problem using Depth-First Search algorithm.

boolean-satisfiability-problem c depth-first-search opencl

Last synced: 13 Nov 2024