Code

Bugfix/ipasir#683

Code

Closed

mgudemann wants to merge 8 commits intodiffblue:developdiffblue/cbmc:developfrom

mgudemann:bugfix/ipasirmgudemann/cbmc:bugfix/ipasirCopy head branch name to clipboard

Commits

Commits on Mar 23, 2017

• build: introduce LIBSOLVER environment variable

  Show description for 7d8ad07
  

  Norbert Manthey

  authored and

  Matthias Güdemann

  committed
  7d8ad07

  Copy full SHA for 7d8ad07

• solvers: add ipasir driver

  Show description for 3c0d5e8
  

  Norbert Manthey

  authored and

  Matthias Güdemann

  committed
  3c0d5e8

  Copy full SHA for 3c0d5e8

• build: add ipasir solver support

  Show description for b4b4107
  

  Norbert Manthey

  authored and

  Matthias Güdemann

  committed
  b4b4107

  Copy full SHA for b4b4107

• build: test multiple SAT solvers during CI

  Show description for 4a31244
  

  Norbert Manthey

  authored and

  Matthias Güdemann

  committed
  4a31244

  Copy full SHA for 4a31244

• include `fpu_control.h` in glucose-syrup only when using glibc

  

  Matthias Güdemann

  committed
  fe08ac7

  Copy full SHA for fe08ac7

• update dir in ipasir-build

  

  Matthias Güdemann

  committed
  238b6d6

  Copy full SHA for 238b6d6

• add unzip as required package

  

  Matthias Güdemann

  committed
  5cfc5bb

  Copy full SHA for 5cfc5bb

• remove -u option from unzip command line

  

  Matthias Güdemann

  committed
  f4358fc

  Copy full SHA for f4358fc