We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
hobby sat solver
$ cargo run --release foo.dimacs
![@dependabot[bot]](https://avatars.githubusercontent.com/in/29110?s=64&v=4){kind=small}