maya.zenmaya.xyz / solver
a mildly optimized sat solver
sat-solver
0
Fork 0

Configure Feed

Select the types of activity you want to include in your feed.

60 1 0

Clone this repository

https://tangled.org/maya.zenmaya.xyz/solver https://tangled.org/did:plc:sv53knshgdsq2sqmgzk4jktx
git@knot.zenmaya.xyz:maya.zenmaya.xyz/solver git@knot.zenmaya.xyz:did:plc:sv53knshgdsq2sqmgzk4jktx

For self-hosted knots, clone URLs may differ based on your setup.


Download tar.gz Download .zip