submitted 1 year ago by alienscience@programming.dev to c/rust@programming.dev

0 comments fedilink hide all child comments

There are only a few SAT solvers for Rust and this one looks well documented and will be well supported because it is part of Conda.

no comments (yet)

sorted by: hot top controversial new old

there doesn't seem to be anything here

this post was submitted on 13 Aug 2023

9 points (100.0% liked)

Rust

5974 readers

85 users here now

Welcome to the Rust community! This is a place to discuss about the Rust programming language.

Credits

The icon is a modified version of the official rust logo (changing the colors to a gradient and black background)

founded 1 year ago

MODERATORS