enric-rodriguez/WhyUnsat

Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric

doi:10.4230/artifacts.26035

Artifact

enric-rodriguez/WhyUnsat Software

Authors Robert Nieuwenhuis , Albert Oliveras , Enric Rodríguez-Carbonell

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

Document Identifiers

DOI: 10.4230/artifacts.26035
URN: urn:nbn:de:0030-drops-260357

Author Details

Robert Nieuwenhuis

Technical University of Catalonia, Barcelona, Spain

Albert Oliveras

Technical University of Catalonia, Barcelona, Spain

Enric Rodríguez-Carbonell

Technical University of Catalonia, Barcelona, Spain

Content

Software (Source Code): https://github.com/enric-rodriguez/WhyUnsat
archived version

Version/Status

Content created at: 2026-09-03
Status: Active (at the time of publication 2026-07-16)

Cite As Get BibTex

Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell. enric-rodriguez/WhyUnsat (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/artifacts.26035

Description

A timeless anytime efficient tool for giving a (minimal) explanation of unsatisfiability of a SAT instance in terms of its original high-level constraints, aimed at planning, timetabling and scheduling applications.

Subject Classification

Programming Languages

Prolog
C++
Makefile
Shell

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata

0

Downloads

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