varisat
varisat copied to clipboard
Provide some examples of varisat usage (as a library)
It would be nice to provide a couple of examples of using varisat in addition to the standard API documentation, like https://github.com/luteberget/minisat-rs/ does.