Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Jul 7, 2024

• ensure recent versions

  hellman

  committed
  08eb4ce

  Copy full SHA for 08eb4ce

Commits on Jul 3, 2024

• pyproject.toml and readme update

  hellman

  committed
  ad8a997

  Copy full SHA for ad8a997

Commits on Jul 1, 2024

• edits

  hellman

  committed
  5ac108d

  Copy full SHA for 5ac108d

• missing import

  hellman

  committed
  1c0882b

  Copy full SHA for 1c0882b

• informative error

  hellman

  committed
  c6de47d

  Copy full SHA for c6de47d

• ShiftLearn: merge worker's timestat info

  hellman

  committed
  fba7d99

  Copy full SHA for fba7d99

• do not force default solver here

  hellman

  committed
  95bf315

  Copy full SHA for 95bf315

Commits on Jun 30, 2024

• doc

  hellman

  committed
  6604336

  Copy full SHA for 6604336

• milp tool: add option for lp oracle

  hellman

  committed
  3877489

  Copy full SHA for 3877489

• change cadical name

  hellman

  committed
  93eabe6

  Copy full SHA for 93eabe6

• milp -> model

  hellman

  committed
  a2f3aa6

  Copy full SHA for a2f3aa6

• lp oracle: better result check

  hellman

  committed
  2e4eab2

  Copy full SHA for 2e4eab2

• gitignore update

  hellman

  committed
  5d45751

  Copy full SHA for 5d45751

• point prec usage fix

  hellman

  committed
  bdb2bb3

  Copy full SHA for bdb2bb3

Commits on Apr 28, 2023

• bz2 allow overwrite

  hellman

  committed
  48ca762

  Copy full SHA for 48ca762

Commits on Nov 20, 2022

• warns

  hellman

  committed
  3bb0368

  Copy full SHA for 3bb0368

• not yet

  hellman

  committed
  69695e4

  Copy full SHA for 69695e4

• update readme

  hellman

  committed
  fad1341

  Copy full SHA for fad1341

• readme

  hellman

  committed
  4f3d825

  Copy full SHA for 4f3d825

• fix log

  hellman

  committed
  5898dda

  Copy full SHA for 5898dda

• fix setup

  hellman

  committed
  cf01ba1

  Copy full SHA for cf01ba1

• example set

  hellman

  committed
  e0d3d5a

  Copy full SHA for e0d3d5a

• use MILP gurobi on medium sets

  hellman

  committed
  630a29a

  Copy full SHA for 630a29a

• fix cnf/dnf on upper/lower sets

  hellman

  committed
  8749e2e

  Copy full SHA for 8749e2e

Commits on Jul 20, 2022

• edit commands

  hellman

  committed
  227f325

  Copy full SHA for 227f325

• edits on subset select

  hellman

  committed
  ce35c8e

  Copy full SHA for ce35c8e

• update defaults for setcoveringsolver (not randomized)

  hellman

  committed
  8f5b8ae

  Copy full SHA for 8f5b8ae

• sys files are bz2

  hellman

  committed
  a85af97

  Copy full SHA for a85af97

• fix boolean

  hellman

  committed
  dec8112

  Copy full SHA for dec8112

• update setup

  hellman

  committed
  33f8bfc

  Copy full SHA for 33f8bfc

• update/refactor Boolean set reading and rename to MaxCubes

  hellman

  committed
  9df78b8

  Copy full SHA for 9df78b8

• update readme

  hellman

  committed
  e30aa71

  Copy full SHA for e30aa71

Commits on Jul 19, 2022

• time stat

  hellman

  committed
  d694102

  Copy full SHA for d694102

• log default solver

  hellman

  committed
  e0372ac

  Copy full SHA for e0372ac

• up readme

  hellman

  committed
  5199971

  Copy full SHA for 5199971