move cnf stuff into a separate crate, not just a module

rust/dpll/Cargo.lock

@@ -1,4 +1,4 @@
[root]
name = "cnf"
name = "solve"
version = "0.1.0"

rust/dpll/Cargo.toml

@@ -1,4 +1,7 @@
[package]
name = "cnf"
name = "solve"
version = "0.1.0"
authors = ["Lucas Stadler <lu@papill0n.org>"]
[[bin]]
name = "cnf"

rust/dpll/src/lib.rs

@@ -0,0 +1 @@
pub mod cnf;

rust/dpll/src/main.rs

@@ -6,11 +6,12 @@
 *
 * You have been warned...
 */
extern crate solve;
use std::io;
use std::io::Read;
mod cnf;
use solve::cnf;
fn main() {
    let input: &mut String = &mut String::new();