Ubuntu

libcadical-dev binary package in Ubuntu Noble s390x

  1. Noble (24.04)
  2. s390x
  3. libcadical-dev

 CaDiCaL is a CDCL solver that is easy to understand and change, while at the
 same time not being much slower than other state-of-the-art CDCL solvers.
 .
 This package contains development files for CaDiCaL. Install it if you
 want to develop applications that use CaDiCaL's API.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2024-02-15 18:27:34 UTC Published Ubuntu Noble s390x release universe libdevel Optional 1.7.4-1
  • Published
  • Copied from ubuntu noble-proposed s390x in Primary Archive for Ubuntu
  Deleted Ubuntu Noble s390x proposed universe libdevel Optional 1.7.4-1
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to noble

  • Published
  2024-02-15 18:30:06 UTC Superseded Ubuntu Noble s390x release universe libdevel Optional 1.5.3-2
  • Removal requested .
  • Superseded by s390x build of cadical 1.7.4-1 in ubuntu noble PROPOSED
  • Published
  • Copied from ubuntu lunar-proposed s390x in Primary Archive for Ubuntu

Source package