Inicio Explorar Ayuda
Iniciar sesión
lu
/
lp
espejo de git://github.com/heyLu/lp
Vigilar 1
Destacar 0
Fork 0
Código Incidencias 0 Commits 580 Releases 1 Wiki

Sin Descripción

Árbol: 35ab48ea8d
Ramas Etiquetas
lp
/
rust
/
solve
Lucas Stadler 35ab48ea8d start a dpll module, just for... fun? %!s(int64=10) %!d(string=hace) años
..
src 35ab48ea8d start a dpll module, just for... fun? %!s(int64=10) %!d(string=hace) años
.gitignore 318fefac2e mv dpll solve %!s(int64=10) %!d(string=hace) años
Cargo.lock 318fefac2e mv dpll solve %!s(int64=10) %!d(string=hace) años
Cargo.toml 318fefac2e mv dpll solve %!s(int64=10) %!d(string=hace) años
README.md 318fefac2e mv dpll solve %!s(int64=10) %!d(string=hace) años

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.