simple_sat

A simple, dependency free boolean satisfiability solver.

Package Resources

simple_sat
ash-project/simple_sat
Documentation
Changelog

Stars

2

Unreleased Activity

2

commits

First Release

1

years ago

Last Release

1

years ago

Downloads

20.9k

last 90 days

Last Stable Version

0.1.3

Activity

last year

Pull Requests

Open 0
Merged 0

Latest Merged Pull Requests

No Github activity

Issues

Open 1
Closed 0

Version 0.1.3

Failed to load version 0.1.3 information.

Please refresh in a bit