Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 2, 2024

• Update benchmarks

  matthias-jugan

  committed
  2fc0f76

  Copy full SHA for 2fc0f76

Commits on Mar 16, 2024

• improvement in the dtree generation

  SHildebrandt

  committed
  ec83b4e

  Copy full SHA for ec83b4e

Commits on Mar 7, 2024

• Restrict cardinality constrait rhs to unsigned 32bit

  matthias-jugan

  committed
  8b5bb9f

  Copy full SHA for 8b5bb9f

• Add safety comments for sharpsat bridge

  matthias-jugan

  committed
  e27d4ad

  Copy full SHA for e27d4ad

• Move formula_on_solver function to minisat_solver.rs

  matthias-jugan

  committed
  d250ee5

  Copy full SHA for d250ee5

• clippy improvements

  matthias-jugan

  committed
  4235803

  Copy full SHA for 4235803

• merge filter and flatten step when adding nary formulas

  matthias-jugan

  committed
  234e843

  Copy full SHA for 234e843

• Remove unnecessary mut reference

  matthias-jugan

  committed
  a5fb2e4

  Copy full SHA for a5fb2e4

Commits on Jan 24, 2024

• Add dedicated cache for variables

  matthias-jugan

  committed
  26e4345

  Copy full SHA for 26e4345

• Consider CCs and PBCs caches in some functions in FormulaFactory

  matthias-jugan

  committed
  3e746e0

  Copy full SHA for 3e746e0

Commits on Jan 4, 2024

• bench_overview picks benchmarks based on active feature

  matthias-jugan

  committed
  52ddde1

  Copy full SHA for 52ddde1

• Merge branch 'main' into feature/sharp-sat

  matthias-jugan

  committed
  7a37ec9

  Copy full SHA for 7a37ec9

• Update sharpsat include paths for Intel macs

  matthias-jugan

  committed
  b67d856

  Copy full SHA for b67d856

• Fix sharpsat build script for ARM macs

  matthias-jugan

  committed
  859fcc2

  Copy full SHA for 859fcc2

• fix homebrew paths in build script and makefile

  SHildebrandt

  committed
  d1e96c1

  Copy full SHA for d1e96c1

Commits on Jan 2, 2024

• change build files for arm macs

  matthias-jugan

  committed
  65941a3

  Copy full SHA for 65941a3

Commits on Dec 20, 2023

• fix linux build issues

  matthias-jugan

  committed
  4e24d07

  Copy full SHA for 4e24d07

Commits on Dec 19, 2023

• simplification for implications with opposite operands

  SHildebrandt

  committed
  6cc3205

  Copy full SHA for 6cc3205

Commits on Dec 13, 2023

• use count_models() in sharpsat benchmarks

  matthias-jugan

  committed
  f536f3f

  Copy full SHA for f536f3f

• comments for sharpsat module

  matthias-jugan

  committed
  19912a9

  Copy full SHA for 19912a9

• add tests for sharpsat solver

  matthias-jugan

  committed
  305cb47

  Copy full SHA for 305cb47

• Merge branch 'main' into feature/sharp-sat

  matthias-jugan

  committed
  7d3d9c5

  Copy full SHA for 7d3d9c5

• add tests for model counting

  matthias-jugan

  committed
  a2e3183

  Copy full SHA for a2e3183

• improve sharpsat solver

  matthias-jugan

  committed
  734226e

  Copy full SHA for 734226e

Commits on Dec 8, 2023

• Integrate sharpsat into model counting functions

  matthias-jugan

  committed
  5fc26e0

  Copy full SHA for 5fc26e0

• Merge branch 'main' into feature/sharp-sat

  matthias-jugan

  committed
  e55884a

  Copy full SHA for e55884a

• Add model counting functions

  matthias-jugan

  committed
  2dcfae7

  Copy full SHA for 2dcfae7

• Generalize BDD Kernel constructor

  matthias-jugan

  committed
  83c4799

  Copy full SHA for 83c4799

• Add add_literal() to assignment

  matthias-jugan

  committed
  7a7d4cd

  Copy full SHA for 7a7d4cd

Commits on Dec 1, 2023

• Avoid unnecessary reallocation

  matthias-jugan

  committed
  c1c59a8

  Copy full SHA for c1c59a8

• Improve nnf caching

  matthias-jugan

  committed
  1bb6196

  Copy full SHA for 1bb6196

• Apply clippy lints

  matthias-jugan

  committed
  010db60

  Copy full SHA for 010db60

• Replace `append` with `extend`

  matthias-jugan

  committed
  d4b407d

  Copy full SHA for d4b407d

Commits on Nov 29, 2023

• Move interactive solver from wrapper into code

  matthias-jugan

  committed
  6147d98

  Copy full SHA for 6147d98

Commits on Nov 22, 2023

• Flag CNFs at creation

  matthias-jugan

  committed
  eff6356

  Copy full SHA for eff6356

Pagination

Previous

Next