Ubuntu

libcadical-dev binary package in Ubuntu Noble arm64

  1. Noble (24.04)
  2. arm64
  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 arm64 release universe libdevel Optional 1.7.4-1
  • Published
  • Copied from ubuntu noble-proposed arm64 in Primary Archive for Ubuntu
  Deleted Ubuntu Noble arm64 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 arm64 release universe libdevel Optional 1.5.3-2
  • Removal requested .
  • Superseded by arm64 build of cadical 1.7.4-1 in ubuntu noble PROPOSED
  • Published
  • Copied from ubuntu lunar-proposed arm64 in Primary Archive for Ubuntu

Source package