Startseite Erkunden Hilfe
Anmelden
lu
/
lp
Mirror von git://github.com/heyLu/lp
Beobachten 1
Favorit hinzufügen 0
Fork 0
Code Issues 0 Commits 598 Releases 1 Wiki

Keine Beschreibung

Struktur: 2c471cd484
Branches Tags
lp
/
rust
/
solve
Lucas Stadler 2c471cd484 add commented out debug statements vor 10 Jahren
..
examples 78b1496b22 use a thread to increase the stack size vor 10 Jahren
src 2c471cd484 add commented out debug statements vor 10 Jahren
.gitignore 318fefac2e mv dpll solve vor 10 Jahren
Cargo.lock 318fefac2e mv dpll solve vor 10 Jahren
Cargo.toml 318fefac2e mv dpll solve vor 10 Jahren
README.md 318fefac2e mv dpll solve vor 10 Jahren

README.md

solve

Warning: Don't use this, it's basically my "Hello World" in Rust and looks and smells accordingly. If you Know Things™ and want to tell me how to do stuff better please do so, but don't expect to find pretty things yet. Maybe at some point in the future...

That being said, this is me playing around with Rust and writing some code related to constraint programming at the same time.

Currently there's an incomplete parser for CNFs in DIMAC format in ./src/cnf.rs.