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
chore: update CI
5c2a1f5e362c2ecd59264513de167a42f0fb816c authored 10 months ago by Zach Daniel <[email protected]>
5c2a1f5e362c2ecd59264513de167a42f0fb816c authored 10 months ago by Zach Daniel <[email protected]>
chore: clean up and fix package spec
684f02d288f6d3ed734862f005ffee9de00799c2 authored 10 months ago by Zach Daniel <[email protected]>
684f02d288f6d3ed734862f005ffee9de00799c2 authored 10 months ago by Zach Daniel <[email protected]>
chore: add CI
9e304f1d8dd3cd2903c3834f70fccbe0dd4dd73d authored 10 months ago by Zach Daniel <[email protected]>
9e304f1d8dd3cd2903c3834f70fccbe0dd4dd73d authored 10 months ago by Zach Daniel <[email protected]>
chore: release version v0.1.0
80fddb5047ac7945d173b56e00406202f88faaf4 authored 10 months ago by Zach Daniel <[email protected]>
80fddb5047ac7945d173b56e00406202f88faaf4 authored 10 months ago by Zach Daniel <[email protected]>
chore: configure git_ops
e586d93a7c97ff29acdfeb03d91b7cc389c2ea92 authored 10 months ago by Zach Daniel <[email protected]>
e586d93a7c97ff29acdfeb03d91b7cc389c2ea92 authored 10 months ago by Zach Daniel <[email protected]>
init: create a simple sat solver
90082f938dacb4ff09cb40e0c8d0153a59c5fd63 authored 10 months ago by Zach Daniel <[email protected]>
90082f938dacb4ff09cb40e0c8d0153a59c5fd63 authored 10 months ago by Zach Daniel <[email protected]>