Etusivu Tutki Apua
Kirjaudu sisään
lu
/
lp
peilaus alkaen git://github.com/heyLu/lp
Tarkkaile 1
Äänestä 0
Fork 0
Koodi Ongelmat 0 Commitit 594 Julkaisut 1 Wiki

Ei kuvausta

Puu: 45ea797254
Branchit Tagit
lp
/
rust
/
solve
Lucas Stadler 45ea797254 add a few example cnfs 10 vuotta sitten
..
examples 45ea797254 add a few example cnfs 10 vuotta sitten
src d827caf10c support multiple spaces between variables 10 vuotta sitten
.gitignore 318fefac2e mv dpll solve 10 vuotta sitten
Cargo.lock 318fefac2e mv dpll solve 10 vuotta sitten
Cargo.toml 318fefac2e mv dpll solve 10 vuotta sitten
README.md 318fefac2e mv dpll solve 10 vuotta sitten

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.