Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 27, 2022

• fix #6107

  NikolajBjorner

  committed
  61f5489

Commits on Jun 20, 2022

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

  Show description for 911134b
  NikolajBjorner

  committed
  911134b

Commits on Jun 17, 2022

• remove '#include <iostream>' from headers and from unneeded places

  Show description for 73a24ca
  nunoplopes

  committed
  73a24ca

Commits on Jun 4, 2022

• Fix a couple compiler warnings

  

  Christoph M. Wintersteiger

  committed
  ed7db89

Commits on May 28, 2022

• remove pragma from cpp file

  Show description for b8532be
  NikolajBjorner

  committed
  b8532be

Commits on May 22, 2022

• rw

  NikolajBjorner

  committed
  c850259

Commits on May 21, 2022

• core opt

  NikolajBjorner

  committed
  386c511

Commits on May 8, 2022

• fix #6023

  NikolajBjorner

  committed
  1e7a9e3

Commits on May 1, 2022

• init value

  NikolajBjorner

  committed
  be653da

• selectively enable dual strengthening

  NikolajBjorner

  committed
  d1f1e4c

• na

  NikolajBjorner

  committed
  98e1c86

• 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

Commits on Apr 16, 2022

• fixes

  Show description for 4a59ae4
  NikolajBjorner

  committed
  4a59ae4

• na

  NikolajBjorner

  committed
  7496f11

• na

  NikolajBjorner

  committed
  b5309d5

• build fix

  NikolajBjorner

  committed
  c131eb4

• fix build

  Show description for f4c500c
  NikolajBjorner

  committed
  f4c500c

• wip

  NikolajBjorner

  committed
  807121a

Commits on Apr 15, 2022

• improve pre-processing

  NikolajBjorner

  committed
  3cc9d7f

Commits on Apr 13, 2022

• re-enable pre-process

  NikolajBjorner

  committed
  3f5eb7f

Commits on Apr 11, 2022

• disable propagation

  Show description for ac55e29
  NikolajBjorner

  committed
  ac55e29

• separate pre-processing, add callback parameter to push/pop in python API

  NikolajBjorner

  committed
  c996a66

Commits on Apr 9, 2022

• allow adding constraints during on_model

  NikolajBjorner

  committed
  405a26c

Commits on Apr 8, 2022

• Allow adding constraints in the model_eh callback

  NikolajBjorner

  committed
  d6d9b25

Commits on Jan 31, 2022

• format

  NikolajBjorner

  committed
  994c7ef

Commits on Jan 6, 2022

• build failure

  NikolajBjorner

  committed
  7baa4f8

• build

  Show description for 6a3fe51
  NikolajBjorner

  committed
  6a3fe51

• with no last model

  Show description for d14f00d
  NikolajBjorner

  committed
  d14f00d

• #5751

  NikolajBjorner

  committed
  dadda86

Pagination

PreviousNext