Artifact

Xorcle Software

Author Glenn Sun

Part of: Collection: Supplementary Materials
License: MIT License
Publication Date: 2026-07-16

Document Identifiers

DOI: 10.4230/artifacts.26951
URN: urn:nbn:de:0030-drops-269516

Author Details

Glenn Sun

University of Washington, Seattle, WA, USA

Content

Software (Source Code): https://github.com/glenn-sun/xorcle
archived version

Version/Status

Content created at: 2025-06-24
Status: Active (at the time of publication 2026-07-16)

Cite As Get BibTex

Glenn Sun. Xorcle (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/artifacts.26951

Description

SAT solving for XNF formulas, where clauses are disjunctions of linear equations modulo 2

Subject Classification

Programming Languages

C++

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata

0

Downloads

Any Issues?

X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail

© 2023-2026 Schloss Dagstuhl – LZI GmbH Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact