m-fleury/glucose Software

Author Mathias Fleury



Document Identifiers

Author Details

Mathias Fleury

Content

Version/Status

  • Content created at: 2024-03-06

Cite As Get BibTex

Mathias Fleury. m-fleury/glucose (Software, Glucose Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) https://doi.org/10.4230/artifacts.22497

Description

Glucose SAT solver adapted to support the Lazy Reimplication algorithm

Subject Classification

Programming Languages
  • C++
  • C
  • Makefile
  • CMake

Metrics

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail