Disjoint Partial Enumeration without Blocking Clauses: TabularAllSAT

Spallitta, Giuseppe; Biere, Armin; Sebastiani, Roberto

doi:10.48550/arXiv.2306.00461

Published December 17, 2023 | Version 1.0

Software Open

Disjoint Partial Enumeration without Blocking Clauses: TabularAllSAT

Spallitta, Giuseppe¹
Biere, Armin²
Sebastiani, Roberto¹

1. University of Trento
2. Albert-Ludwigs-Universität Freiburg

The repository contains the code of TabularAllSAT, the SAT enumeration tool discussed in the paper "Disjoint Partial Enumeration without Blocking Clauses".

Files

tabularAllSAT.zip

Files (3.5 MB)

Name	Size	Download all
tabularAllSAT.zip md5:99daae0f9c92ad8e8d423f2b799d3ef0	3.5 MB	Preview Download

186

Views

Downloads

Show more details

	All versions	This version
Views	186	186
Downloads	48	48
Data volume	172.9 MB	172.9 MB

More info on how stats are collected....

DOI

Resource type

Software

Publisher

Zenodo

Languages

English

Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Technical metadata

Created: December 18, 2023
Modified: December 18, 2023

Disjoint Partial Enumeration without Blocking Clauses: TabularAllSAT

Creators

Description

Files

tabularAllSAT.zip

Files (3.5 MB)