RustSAT

Jabs, Christoph

doi:10.4230/artifacts.24081

Artifact

RustSAT Software

Author Christoph Jabs

Part of: Collection: Supplementary Materials
License: MIT License
Publication Date: 2025-08-07

Document Identifiers

DOI: 10.4230/artifacts.24081
URN: urn:nbn:de:0030-drops-240819

Author Details

Christoph Jabs

University of Helsinki, Finland

Content

Software (RustSAT repository): https://github.com/chrjabs/rustsat
archived version

Version/Status

Content created at: 2022-07-01
Status: Active (at the time of publication 2025-08-07)

Cite As Get BibTex

Christoph Jabs. RustSAT (Software, RustSAT repository). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/artifacts.24081

Description

This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solving. The focus of the library is to provide as much ease of use without giving up on performance.

Subject Classification

Keywords

encodings
sat
satisfiability

Programming Languages

Rust
C++
Jinja
C
Just
Python
Nix
Shell
Makefile

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata Views

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail