spkg-configure for cliquer
Closed this issue · 7 comments
dimpase commented
debian and ubuntu provide cliquer
(apt install cliquer libcliquer-dev)
Component: build: configure
Author: Dima Pasechnik
Branch/Commit: 3ea88e1
Reviewer: Isuru Fernando
Issue created by migration from https://trac.sagemath.org/ticket/28885
dimpase commented
Branch: u/dimpase/packages/cliquerconf
dimpase commented
Author: Dima Pasechnik
isuruf commented
Reviewer: Isuru Fernando
isuruf commented
comment:2
Works for me with the conda package.
vbraun commented
Changed branch from u/dimpase/packages/cliquerconf to 3ea88e1