Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / newptcai / BeeEncoder.jl
A Julia interface to BEE (Ben-Gurion University Equi-propagation Encoder) for SAT problem
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/newptcai%2FBeeEncoder.jl
Stars: 7
Forks: 1
Open Issues: 1
License: mit
Language: Julia
Repo Size: 104 KB
Dependencies:
0
Created: about 4 years ago
Updated: over 1 year ago
Last pushed: about 4 years ago
Last synced: 25 days ago
Topics: combinatorics, julia, math, mathematics, sat, sat-solver
Files
Loading...
Readme
Loading...
No dependencies found