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 578 Releases 1 Wiki

Keine Beschreibung

Struktur: a70c9c31a7
Branches Tags
lp
/
rust
/
dpll
Lucas Stadler a70c9c31a7 add (a bit of) a readme vor 10 Jahren
..
src e1df0ff76c fix indentation vor 10 Jahren
.gitignore d7161531b2 cargoify vor 10 Jahren
Cargo.lock 7bb7b26bc3 move cnf stuff into a separate crate, not just a module vor 10 Jahren
Cargo.toml 7bb7b26bc3 move cnf stuff into a separate crate, not just a module vor 10 Jahren
README.md a70c9c31a7 add (a bit of) a readme 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.