LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Python

dqbf

A set of tools and benchmarks for DQBF

PythonEmerging

Stars

1

Forks

—

Contributors

2

Last push

1mo ago

Recent commits

Latest commits.

test_report: restructured families (9 not 192) + qbf domain (1080 instances)
c0d7b97Markus Rabe1mo ago
test/qbf: QBFLIB QDIMACS subset (150 instances) + manifest hierarchy fix
3294281Markus Rabe1mo ago
report loader: Promise.allSettled instead of Promise.all
d503111Markus Rabe1mo ago
test_report: hwmcc + syntcomp domains added (930 instances, 9 solvers)
02a5a50Markus Rabe1mo ago
test/hwmcc: filter circuits with AIGER C/J/F sections
908d2a4Markus Rabe1mo ago

bmc2dqbf: handle uninitialised (free) latches correctly

5327143Markus Rabe1mo ago

test/qbf, test/qbvf: document what's blocking those domains

319b774Markus Rabe1mo ago

test/syntcomp: SYNTCOMP TLSF bounded-synthesis instances

a594229Markus Rabe1mo ago

Top contributors

Builders behind this project.