Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 22, 2024

• Update README.md

  gruhn

  authored
  c0974e8

  Copy full SHA for c0974e8

• Update README.md

  gruhn

  committed
  e4e055c

  Copy full SHA for e4e055c

Commits on Apr 28, 2024

• AffineExpr: set constraint operator precedence

  gruhn

  committed
  5d4e86d

  Copy full SHA for 5d4e86d

• Allow multiplication of constant AffineExpr

  gruhn

  committed
  1313196

  Copy full SHA for 1313196

Commits on Apr 26, 2024

• Simplex: equality constraints and cutting planes

  Show description for 1e3c0c5
  gruhn

  committed
  1e3c0c5

  Copy full SHA for 1e3c0c5

Commits on Apr 22, 2024

• add CHANGELOG.md file

  Show description for 865afa5
  gruhn

  committed
  865afa5

  Copy full SHA for 865afa5

• use pattern+guard notation

  gruhn

  committed
  0fbf6b6

  Copy full SHA for 0fbf6b6

Commits on Mar 25, 2024

• tinker: NonLinearArithmatic

  gruhn

  committed
  5e05eb2

  Copy full SHA for 5e05eb2

Commits on Dec 30, 2023

• subtropical: handle all constraint types

  gruhn

  committed
  e0212b2

  Copy full SHA for e0212b2

• tinker: Cylindrical Algebraic Decomposition

  gruhn

  committed
  865e82a

  Copy full SHA for 865e82a

Commits on Jul 30, 2023

• refactor uninterpreted functions

  Show description for 6e6732d
  gruhn

  committed
  6e6732d

  Copy full SHA for 6e6732d

Commits on Jun 16, 2023

• Minimal Nix config

  gruhn

  committed
  6728683

  Copy full SHA for 6728683

Commits on Apr 14, 2023

• CDCL refactor (#4)

  gruhn

  authored
  48fbdfb

  Copy full SHA for 48fbdfb

Commits on Apr 8, 2023

• implement branch-and-bound (#3)

  gruhn

  authored
  7ca130e

  Copy full SHA for 7ca130e

Commits on Apr 7, 2023

• fix: Simplex gets stuck in cycle

  Show description for 95b0b24
  gruhn

  committed
  95b0b24

  Copy full SHA for 95b0b24

Commits on Apr 4, 2023

• fix in Fourier-Motzkin

  gruhn

  committed
  266f880

  Copy full SHA for 266f880

Commits on Apr 3, 2023

• Construct model in Fourier-Motzkin

  gruhn

  committed
  823bf57

  Copy full SHA for 823bf57

Commits on Apr 1, 2023

• test property: FourierMotzkin / Simplex equivalence

  gruhn

  committed
  fe256c5

  Copy full SHA for fe256c5

• Define operators: /\ \/ ==> <==>

  Show description for 0ba3e2a
  gruhn

  committed
  0ba3e2a

  Copy full SHA for 0ba3e2a

Commits on Mar 28, 2023

• partially fix Simplex

  gruhn

  committed
  d69498c

  Copy full SHA for d69498c

Commits on Mar 27, 2023

• migrate from QuickCheck to Hedgehog

  gruhn

  committed
  952c40e

  Copy full SHA for 952c40e

Commits on Mar 20, 2023

• rename ci job

  gruhn

  committed
  930a377

  Copy full SHA for 930a377

• refactor tests

  gruhn

  committed
  77b8ade

  Copy full SHA for 77b8ade

Commits on Mar 15, 2023

• work on Simplex

  gruhn

  committed
  4cd7735

  Copy full SHA for 4cd7735

• tinker: Simplex

  gruhn

  committed
  b2fdddb

  Copy full SHA for b2fdddb

Commits on Mar 13, 2023

• tinker: Simplex

  gruhn

  committed
  9c92834

  Copy full SHA for 9c92834

• tinker: Simplex

  gruhn

  committed
  590ba6b

  Copy full SHA for 590ba6b

Commits on Mar 12, 2023

• work on Subtropical (need Simplex to continue)

  gruhn

  committed
  b0ae5ec

  Copy full SHA for b0ae5ec

• work on Subtropical

  gruhn

  committed
  34f1c0e

  Copy full SHA for 34f1c0e

Commits on Mar 11, 2023

• Fix type errors

  gruhn

  committed
  d45d9be

  Copy full SHA for d45d9be

• Abtract 'VarDomains' to 'Assignment'

  gruhn

  committed
  36c6661

  Copy full SHA for 36c6661

• ICP: support inequality constaints

  gruhn

  committed
  2b3708a

  Copy full SHA for 2b3708a

• Update haskell.yml

  gruhn

  authored
  bb6973a

  Copy full SHA for bb6973a

• Update haskell.yml

  gruhn

  authored
  478880b

  Copy full SHA for 478880b

Commits on Mar 10, 2023

• Create .github/workflows/haskell.yml

  gruhn

  authored
  9461b10

  Copy full SHA for 9461b10

Pagination

Previous

Next