Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / os12345678 / SAT_DPLL

An implementation of the DPLL algorithm for solving SAT problems

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/os12345678%2FSAT_DPLL
PURL: pkg:github/os12345678/SAT_DPLL

Stars: 1
Forks: 0
Open issues: 0

License: None
Language: Python
Size: 2.76 MB
Dependencies parsed at: Pending

Created at: over 2 years ago
Updated at: over 2 years ago
Pushed at: over 2 years ago
Last synced at: over 2 years ago

Topics: 3sat, dpll, satisfiability

    Loading...