eSLIM

Reichl, Franz-Xaver; Slivovsky, Friedrich; Szeider, Stefan

doi:10.4230/artifacts.22464

Artifact

eSLIM Software

Authors Franz-Xaver Reichl , Friedrich Slivovsky , Stefan Szeider

Part of: Collection: Supplementary Materials
License: MIT License
Publication Date: 2024-11-28

Document Identifiers

DOI: 10.4230/artifacts.22464
URN: urn:nbn:de:0030-drops-224644

Author Details

Franz-Xaver Reichl

TU Wien, Austria

Friedrich Slivovsky

University of Liverpool, UK

Stefan Szeider

TU Wien, Austria

Content

Software: https://github.com/fxreichl/eSLIM
archived version

Version/Status

Content created at: 2024-06-04
Status: Active (at the time of publication 2024-11-28)

Cite As Get BibTex

Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider. eSLIM (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) https://doi.org/10.4230/artifacts.22464

Description

A Boolean circuit minimizer

Subject Classification

Keywords

Circuit Minimization
Exact Synthesis

Programming Languages

Python
C++

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail