Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 25, 2023

• Add OpenSMT as another solver backend

  daniel-raffler

  committed
  296d3c6

  Copy full SHA for 296d3c6

Commits on Feb 26, 2023

• feat(sosy-lab#296): use a proper template (including version-info) for publishing our solver libraries into Maven.

  Show description for 3a858cd
  kfriedberger

  committed
  3a858cd

  Copy full SHA for 3a858cd

Commits on May 23, 2022

• Add Maven pom for CVC5

  baierd

  committed
  dd9f4e3

  Copy full SHA for dd9f4e3

Commits on Sep 8, 2021

• Ant build scripts: adding steps to release Yices2 into Maven.

  Show description for a10f292
  kfriedberger

  committed
  a10f292

  Copy full SHA for a10f292

Commits on Jan 23, 2021

• use better packaging information for Maven artifacts.

  Show description for ea80187
  kfriedberger

  committed
  ea80187

  Copy full SHA for ea80187

• simplify Maven release of Z3 by not requiring sources and Javadoc.

  Show description for 088132a
  kfriedberger

  committed
  088132a

  Copy full SHA for 088132a

• refactoring Maven publication steps for solvers.

  Show description for e784c4f
  kfriedberger

  committed
  e784c4f

  Copy full SHA for e784c4f

Commits on Jan 22, 2021

• adding CVC4 into Maven.

  Show description for b950828
  kfriedberger

  committed
  b950828

  Copy full SHA for b950828

• fix Maven: packaging type must not be default.

  Show description for c5a528d
  kfriedberger

  committed
  c5a528d

  Copy full SHA for c5a528d

• adding Boolector into Maven.

  Show description for 12a8581
  kfriedberger

  committed
  12a8581

  Copy full SHA for 12a8581

• adding MathSAT for Windows into Maven.

  kfriedberger

  committed
  edd3d9e

  Copy full SHA for edd3d9e

Commits on Jan 2, 2021

• add licensing information

  kfriedberger

  committed
  6da025b

  Copy full SHA for 6da025b

Commits on Dec 31, 2020

• remove outdated documentation.

  kfriedberger

  committed
  e342e99

  Copy full SHA for e342e99

• adding ant-steps for pushing Z3 to Maven

  Show description for ed9a108
  kfriedberger

  committed
  ed9a108

  Copy full SHA for ed9a108

Commits on Dec 29, 2020

• adding ant-steps for pushing MathSAT5 to Maven.

  kfriedberger

  committed
  982fa92

  Copy full SHA for 982fa92

Commits on Dec 23, 2020

• New pom for z3 and update the txt explaining the deployment for z3

  baierd

  committed
  5c30c3c

  Copy full SHA for 5c30c3c

• New pom for z3 and update the txt explaining the deployment for z3

  baierd

  committed
  6a60796

  Copy full SHA for 6a60796

Commits on Dec 21, 2020

• typo: gpg vs pgp.

  kfriedberger

  committed
  1a5bb82

  Copy full SHA for 1a5bb82

• Update gitignore and add pom.xml as well as temporary publish infos for Maven for Z3/Mathsat

  baierd

  committed
  725d3d5

  Copy full SHA for 725d3d5

Loading