use submodule glucose_rs in dependency of cspuz_core

Author: semiexp

cspuz_core/Cargo.toml

@@ -24,7 +24,7 @@ csp-extra-constraints = []
 [dependencies]
 getopts = { version = "0.2", optional = true }
 nom = { version = "7.0.0", optional = true }
-glucose_rs = { git = "https://github.com/semiexp/glucose_rs.git", optional = true }
+glucose_rs = { path = "./lib/glucose_rs", optional = true }
 
 [build-dependencies]
 cc = "=1.2.1"