Commits

Breadcrumbs

History for

onz3-4.13.4

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 8, 2024

• Fix some typos. (#7115)

  waywardmonkeys

  authored
  53f89a8

  Copy full SHA for 53f89a8

Commits on Dec 23, 2023

• Add branch and bound solver, for fun

  NikolajBjorner

  committed
  ebe5ebf

  Copy full SHA for ebe5ebf

Commits on Dec 21, 2023

• bugfix on slack

  Show description for 4fe4234
  NikolajBjorner

  committed
  4fe4234

  Copy full SHA for 4fe4234

• improve add bin/item functions

  Show description for ae1d927
  NikolajBjorner

  committed
  ae1d927

  Copy full SHA for ae1d927

• rudimentary bin cover solver using the user propagator

  Show description for b09c237
  NikolajBjorner

  committed
  b09c237

  Copy full SHA for b09c237

Commits on Oct 20, 2022

• add examples with proof replay

  Show description for f6595c1
  NikolajBjorner

  committed
  f6595c1

  Copy full SHA for f6595c1

Commits on Oct 19, 2022

• add example for monitoring proof logs

  Show description for 88d10f7
  NikolajBjorner

  committed
  88d10f7

  Copy full SHA for 88d10f7

Commits on Aug 11, 2022

• formula simplification example

  Show description for 791ca02
  NikolajBjorner

  committed
  791ca02

  Copy full SHA for 791ca02

Commits on May 28, 2022

• use structured proof hints

  Show description for dd46224
  NikolajBjorner

  committed
  dd46224

  Copy full SHA for dd46224

Commits on Apr 5, 2022

• add example for #5933

  NikolajBjorner

  committed
  a5d588c

  Copy full SHA for a5d588c

Commits on Apr 4, 2022

• handle return status

  NikolajBjorner

  committed
  053cb72

  Copy full SHA for 053cb72

• with simplification

  NikolajBjorner

  committed
  4f6811a

  Copy full SHA for 4f6811a

Commits on Jan 26, 2022

• updated mini

  Show description for 53f72d9
  NikolajBjorner

  committed
  53f72d9

  Copy full SHA for 53f72d9

Commits on Dec 2, 2021

• three smt2 examples added and one python example updated (#5690)

  aestriplex

  authored
  cbdd7b0

  Copy full SHA for cbdd7b0

Commits on Nov 9, 2021

• add EFSMT solving example (#5654)

  Show description for b5deba8
  

  rainoftime

  and

  cutelimination

  authored
  b5deba8

  Copy full SHA for b5deba8

Commits on Apr 26, 2021

• Update README.md

  NikolajBjorner

  authored
  a1b036a

  Copy full SHA for a1b036a

Commits on Apr 25, 2021

• Update README.md

  NikolajBjorner

  authored
  3ff5d42

  Copy full SHA for 3ff5d42

Commits on Apr 20, 2021

• marco: immediately shrink to core if not subset (#5203)

  Show description for a52b485
  tias

  authored
  a52b485

  Copy full SHA for a52b485

Commits on Mar 26, 2021

• updated experiment

  NikolajBjorner

  committed
  7fab0f5

  Copy full SHA for 7fab0f5

Commits on Mar 8, 2021

• move branch of unit variable

  NikolajBjorner

  committed
  7eceeff

  Copy full SHA for 7eceeff

Commits on Mar 7, 2021

• updated script, add comment to mk_eq_empty

  NikolajBjorner

  committed
  3c26a96

  Copy full SHA for 3c26a96

Commits on Mar 6, 2021

• na

  NikolajBjorner

  committed
  8de9600

  Copy full SHA for 8de9600

• updated hitting set sample

  NikolajBjorner

  committed
  8d54e83

  Copy full SHA for 8d54e83

Commits on Mar 5, 2021

• fix #5080 assertion is violated on legal input, add an example

  NikolajBjorner

  committed
  022a1fd

  Copy full SHA for 022a1fd

Commits on Feb 21, 2021

• travis timeouts

  nunoplopes

  committed
  1bb9a02

  Copy full SHA for 1bb9a02

Commits on Jan 26, 2021

• Create bubble_sort.py (#4976)

  aestriplex

  authored
  785fab7

  Copy full SHA for 785fab7

Commits on Jun 4, 2020

• Ensure that the 'OUTPUT' locations in CMake for Python examples is accurate (#4499)

  Show description for bb9cd5d
  aytey

  authored
  bb9cd5d

  Copy full SHA for bb9cd5d

Commits on Aug 15, 2019

• Fix typos in examples.

  

  waywardmonkeys

  authored and

  NikolajBjorner

  committed
  0edd587

  Copy full SHA for 0edd587

Commits on Jul 3, 2019

• fix #2375

  Show description for 807095a
  NikolajBjorner

  committed
  807095a

  Copy full SHA for 807095a

Commits on Jun 30, 2019

• fix #2365

  Show description for e5dffea
  NikolajBjorner

  committed
  e5dffea

  Copy full SHA for e5dffea

Commits on Jun 11, 2019

• set kernel to 3

  Show description for b4bbe12
  NikolajBjorner

  committed
  b4bbe12

  Copy full SHA for b4bbe12

• fix traffic jam

  Show description for 7bfb730
  NikolajBjorner

  committed
  7bfb730

  Copy full SHA for 7bfb730

Commits on Jun 10, 2019

• adding advanced port

  Show description for b4daf8d
  NikolajBjorner

  committed
  b4daf8d

  Copy full SHA for b4daf8d

• saving strategies tutorial from notebooks.azure.com

  Show description for 9f42644
  NikolajBjorner

  committed
  9f42644

  Copy full SHA for 9f42644

Commits on Jun 9, 2019

• readme and link

  Show description for 6cd7169
  NikolajBjorner

  committed
  6cd7169

  Copy full SHA for 6cd7169

Pagination

Previous

Next