efraim pushed a commit to branch rust-team
in repository guix.
commit ca0ca0184932f123fb95b8e3b039e526baa6f9e4
Author: Efraim Flashner <[email protected]>
AuthorDate: Mon Dec 30 16:07:13 2024 +0200
gnu: Add rust-varisat-0.2.
* gnu/packages/crates-io.scm (rust-varisat-0.2): New variable.
Change-Id: Ibf4835f5fecbcd869d9409d8274a00c489da56fe
---
gnu/packages/crates-io.scm | 41 +++++++++++++++++++++++++++++++++++++++++
1 file changed, 41 insertions(+)
diff --git a/gnu/packages/crates-io.scm b/gnu/packages/crates-io.scm
index 1e3c2d6c07..3470b4233f 100644
--- a/gnu/packages/crates-io.scm
+++ b/gnu/packages/crates-io.scm
@@ -92549,6 +92549,47 @@ for @code{Valuable} types.")
integer encoding implementation in Rust.")
(license license:expat)))
+(define-public rust-varisat-0.2
+ (package
+ (name "rust-varisat")
+ (version "0.2.2")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (crate-uri "varisat" version))
+ (file-name (string-append name "-" version ".tar.gz"))
+ (sha256
+ (base32 "1bvwh2bk80a5nci3sd3p205200c6pmbgd5f299krd48y3n2hkrpb"))))
+ (build-system cargo-build-system)
+ (arguments
+ `(#:cargo-inputs
+ (("rust-anyhow" ,rust-anyhow-1)
+ ("rust-anyhow" ,rust-anyhow-1)
+ ("rust-itoa" ,rust-itoa-0.4)
+ ("rust-leb128" ,rust-leb128-0.2)
+ ("rust-log" ,rust-log-0.4)
+ ("rust-ordered-float" ,rust-ordered-float-2)
+ ("rust-partial-ref" ,rust-partial-ref-0.3)
+ ("rust-rustc-hash" ,rust-rustc-hash-1)
+ ("rust-serde" ,rust-serde-1)
+ ("rust-thiserror" ,rust-thiserror-1)
+ ("rust-varisat-checker" ,rust-varisat-checker-0.2)
+ ("rust-varisat-dimacs" ,rust-varisat-dimacs-0.2)
+ ("rust-varisat-formula" ,rust-varisat-formula-0.2)
+ ("rust-varisat-internal-macros" ,rust-varisat-internal-macros-0.2)
+ ("rust-varisat-internal-proof" ,rust-varisat-internal-proof-0.2)
+ ("rust-vec-mut-scan" ,rust-vec-mut-scan-0.3))
+ #:cargo-development-inputs
+ (("rust-env-logger" ,rust-env-logger-0.7)
+ ("rust-proptest" ,rust-proptest-0.10)
+ ("rust-rand" ,rust-rand-0.7)
+ ("rust-tempfile" ,rust-tempfile-3)
+ ("rust-varisat-formula" ,rust-varisat-formula-0.2))))
+ (home-page "https://jix.one/project/varisat/";)
+ (synopsis "CDCL based SAT solver (library)")
+ (description "This package provides a CDCL based SAT solver (library).")
+ (license (list license:expat license:asl2.0))))
+
(define-public rust-varisat-checker-0.2
(package
(name "rust-varisat-checker")
