Beast code in Giters

daajoe's repositories

GPUSAT

Language:C++GPL-3.011 30

frasmt

FraSMT: SMT-based decomposer for fractional hypertree decompositions

Language:PythonGPL-3.07 3 1

htd_validate

Checker for hypertree decompositions

Language:PythonGPL-3.0500

benchmark-tool

Language:Python300

sat2vc

sat2vc transforms SAT instances into VC instances.

Language:PythonGPL-3.01 20

sat_horn_backdoors

Language:PythonGPL-3.0100

copperbench

Language:PythonMIT000

gpusat_experiments

GPL-3.0000

mc_validate

Language:C++GPL-3.0000

reprobench

📊 Reproducible Benchmark for Everyone

Language:PythonMIT000

asp_horn_backdoors

Language:PythonGPL-2.0000

asp_micer

Language:PythonGPL-3.0000

dynasp

Language:C++GPL-2.0000

dynasp_experiments

Experiments for the dynasp solver

GPL-3.0000

graph_converters

Language:PythonGPL-3.0000

LaTeX-proposal

The Proposal package for LaTeX

000

mccompetition.org

Language:JavaScriptMIT000

pace2019_vc_instances

Original Instances for the PACE2019 Challenge

Language:Python000

pdfjinja

This is my fork of pdfjinja. I am not the author of this library.

Language:PythonMIT000

pyHanko

pyHanko: sign and stamp PDF files

MIT000

runsolver

runsolver by Olivier ROUSSEL

Language:C++GPL-3.0000

runsolver_cg

Language:PythonGPL-3.0000

sattimeleap

AGPL-3.0000

sharp

Language:C++GPL-2.0020

sharptrace

A trace checker for #SAT traces

000

signxml

Python XML Signature and XAdES library

Apache-2.0000

sudoku

Read numbers from sudoku image

000

thp_docker_build

Language:ShellGPL-3.0000

tud_fbs

Language:PythonGPL-3.0000

wcs2asp-1

000