Ecosyste.ms: OpenCollective
An open API service for software projects hosted on Open Collective.
github.com/ash-project/simple_sat
A simple, dependency free boolean satisfiability solver.
https://github.com/ash-project/simple_sat
Reports `unsatisfiable` for the satisfiable CNF
bokner opened this issue 3 months ago
bokner opened this issue 3 months ago
chore(deps-dev): bump ex_check from 0.15.0 to 0.16.0
dependabot[bot] opened this pull request 9 months ago
dependabot[bot] opened this pull request 9 months ago