Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 23, 2024

• delete more default constructors

  Show description for 737c220
  nunoplopes

  committed
  737c220

Commits on Aug 5, 2022

• Fix typos.

  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  1d9345c

Commits on Jul 30, 2022

• Remove empty leaf destructors. (#6211)

  waywardmonkeys

  authored
  5d0dea0

Commits on Jul 1, 2022

• totalizer

  NikolajBjorner

  committed
  94a2477

Commits on Jun 30, 2022

• add totalizer version of rc2

  Show description for c3d2120
  NikolajBjorner

  committed
  c3d2120

Commits on Jun 20, 2022

• add new heuristic rc2bin (to be tested) to maxsat

  Show description for 911134b
  NikolajBjorner

  committed
  911134b

Commits on Jun 4, 2022

• Fix a couple compiler warnings

  

  Christoph M. Wintersteiger

  committed
  ed7db89

Commits on May 21, 2022

• core opt

  NikolajBjorner

  committed
  386c511

Commits on May 1, 2022

• selectively enable dual strengthening

  NikolajBjorner

  committed
  d1f1e4c

• na

  NikolajBjorner

  committed
  9cc5f69

• add option to "rotate" cores during core finding

  Show description for b5c7f00
  NikolajBjorner

  committed
  b5c7f00

Commits on Apr 21, 2022

• remove buggy prototype

  Show description for 0dd0fd2
  NikolajBjorner

  committed
  0dd0fd2

Commits on Apr 20, 2022

• change default output to print objective value

  Show description for d9f3625
  NikolajBjorner

  committed
  d9f3625

Commits on Apr 19, 2022

• missing switch cases

  NikolajBjorner

  committed
  ec57d3b

Commits on Apr 18, 2022

• na

  Show description for df98166
  NikolajBjorner

  committed
  df98166

• add rc2 option

  Show description for c727e2d
  NikolajBjorner

  committed
  c727e2d

Loading