Use Mt-KaHyPar + Add Projected d-DNNF compilation #16

uulm-janbaudisch · 2024-12-03T10:44:46Z

This replaces the previous partitioners with Mt-KaHyPar.

Additionally, projected d-DNNF compilation is introduces as well as a Nix based build-system.

This reverts commit 9ae08ec.

Enable aarch64-linux build

Projected d-DNNF compilation

uulm-janbaudisch added 30 commits September 5, 2023 23:33

refactor(partitioner): remove patoh

9ae08ec

fix(problem): include cstdint

99a821c

refactor(cmake): build kahypar as cmake subdir

2d2bcaa

refactor(cmake): build glucose as cmake subdir

727403d

refactor(cmake): find gmp libraries

4191e15

refactor(cmake): do not rename binary on install

24c1c43

feat(docs): update readme for CMake workflow

a5eaa4c

refactor(project): remove unneded files

336cb0b

feat(ci): add

51fee17

refactor(project): remove unneeded file

a6d35af

fix(ci): only build on linux for now

f9f8813

Revert "refactor(partitioner): remove patoh"

e760f1d

This reverts commit 9ae08ec.

fix(cmake): include patoh in build

5628ef8

refactor(cmake): change cmake flags

14f9d8f

refactor(cmake): find patoh

3af7fc7

refactor(partitioner): switch to mt-kahypar

0964e87

refactor(partitioner): remove patoh

2c525ec

fix(ci): checkout submodules

b5db896

fix(ci): add new dependencies

f093ef5

fix(ci): build on windows

a758e9b

fix(includes): replace stdint includes

8466232

fix(types): use correct integer types

f72041d

fix(includes): remove unneded include

1dc0146

feat(cmake): update version requirement

93352c0

refactor(cmake): change dependency order

f59aa90

fix(ci): build only with gcc on windows

1b68fc3

refactor(gitignore): remove unneded entries

aa17eb5

refactor(cmake): remove boost link dependency

6842ca3

feat(ci): upload artifacts

0b8203a

feat(cmake): add option to build using shared libraries

477432f

uulm-janbaudisch and others added 27 commits June 24, 2024 18:09

feat: also provide binary documentation for aarch64-linux

d67bbfe

feat(nix): add mt-kahypar output

b7ae95c

feat(dependencies): update

92e6665

feat: enable aarch64 build

ce2c755

Merge pull request #14 from SoftVarE-Group/aarch64

5b0016f

Enable aarch64-linux build

refactor(nix): use functions instead of package references

ab3fe3e

feat(nix): add pd4 dependencies

70d83ae

feat: add GMPC

639fe80

feat: add projected compilation

9e5d2e7

feat(glucose): do not build binary on windows

e14764f

fix(nix): add zlib as build dependency

73ca37f

fix(ci): remove portable workflow

bf051cc

fix(cadical): use patches insteads of own repos

e2022eb

fix(GMPC): windows include and compilation

a8fbed7

fix(ci): disable windows workflow for now

76e6c86

fix(ci): build bundle

d9ff282

feat(nix): remove GMP from bundled dependencies

5e50933

Merge pull request #15 from SoftVarE-Group/projected-dpll

5368c65

Projected d-DNNF compilation

feat(ci): update actions

55ec94c

fix(cryptominisat): windows build

6844fbd

feat(ci): enable windows build

47d14e1

feat(dependencies): update

98fc6f1

fix(nix): package references

c873f7c

refactor: remove not needed boost includes

c2dd048

feat(nix): add dev shell

2bd84a7

feat(ci): update actions

db8a630

feat(dependencies): update

63be2a8

uulm-janbaudisch self-assigned this Dec 3, 2024

uulm-janbaudisch merged commit b081317 into main Dec 3, 2024
7 checks passed

uulm-janbaudisch deleted the mt-kahypar branch December 3, 2024 10:45

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Use Mt-KaHyPar + Add Projected d-DNNF compilation #16

Use Mt-KaHyPar + Add Projected d-DNNF compilation #16

uulm-janbaudisch commented Dec 3, 2024 •

edited

Loading

Use Mt-KaHyPar + Add Projected d-DNNF compilation #16

Use Mt-KaHyPar + Add Projected d-DNNF compilation #16

Conversation

uulm-janbaudisch commented Dec 3, 2024 • edited Loading

uulm-janbaudisch commented Dec 3, 2024 •

edited

Loading