cl-sat.minisat | CL Test Grid

cl-sat.minisat results collected by cl-test-grid

Results on the last two Quicklisp distributions
Breakdown by testcases
Who depends on it
Pulled in by other systems' loads

Results on the last two Quicklisp distributions

	quicklisp 2026-01-01	quicklisp 2026-01-01 + polyfill-dotcl 2026-10-27+2026-11-03.eec61f	quicklisp 2026-01-01 + polyfill-egcl 2026-11-03.c16adc
abcl-1.9.3-fasl43-linux-aarch64	(LOAD cl-sat.minisat FAIL) COMMON-LISP:SIMPLE-ERROR : none of the installation options are available! Supported packaging systems: (APT DNF YUM PACMAN YAOURT BREW MACPORTS FINK CHOCO) (LOAD cl-sat.minisat.test FAIL) COMMON-LISP:SIMPLE-ERROR : none of the installation options are available! Supported packaging systems: (APT DNF YUM PACMAN YAOURT BREW MACPORTS FINK CHOCO)
abcl-1.9.3-fasl43-linux-x64	(LOAD cl-sat.minisat FAIL) COMMON-LISP:SIMPLE-ERROR : none of the installation options are available! Supported packaging systems: (APT DNF YUM PACMAN YAOURT BREW MACPORTS FINK CHOCO) (LOAD cl-sat.minisat.test FAIL) COMMON-LISP:SIMPLE-ERROR : none of the installation options are available! Supported packaging systems: (APT DNF YUM PACMAN YAOURT BREW MACPORTS FINK CHOCO)
ccl-1.14-f2-linux-aarch64	(LOAD cl-sat.minisat FAIL) COMMON-LISP:SIMPLE-ERROR : none of the installation options are available! Supported packaging systems: (APT DNF YUM PACMAN YAOURT BREW MACPORTS FINK CHOCO) (LOAD cl-sat.minisat.test FAIL) COMMON-LISP:SIMPLE-ERROR : none of the installation options are available! Supported packaging systems: (APT DNF YUM PACMAN YAOURT BREW MACPORTS FINK CHOCO)
ccl-1.14-f99-linux-x64	(LOAD cl-sat.minisat FAIL) COMMON-LISP:SIMPLE-ERROR : none of the installation options are available! Supported packaging systems: (APT DNF YUM PACMAN YAOURT BREW MACPORTS FINK CHOCO) (LOAD cl-sat.minisat.test FAIL) COMMON-LISP:SIMPLE-ERROR : none of the installation options are available! Supported packaging systems: (APT DNF YUM PACMAN YAOURT BREW MACPORTS FINK CHOCO)
clasp-clasp-boehmprecise-3.0.1-non-cst-linux-aarch64	(LOAD cl-sat.minisat FAIL) COMMON-LISP:SIMPLE-ERROR : none of the installation options are available! Supported packaging systems: (APT DNF YUM PACMAN YAOURT BREW MACPORTS FINK CHOCO) (LOAD cl-sat.minisat.test FAIL) COMMON-LISP:SIMPLE-ERROR : none of the installation options are available! Supported packaging systems: (APT DNF YUM PACMAN YAOURT BREW MACPORTS FINK CHOCO)
clasp-clasp-boehmprecise-3.0.1-non-cst-linux-x64	(LOAD cl-sat.minisat FAIL) COMMON-LISP:SIMPLE-ERROR : none of the installation options are available! Supported packaging systems: (APT DNF YUM PACMAN YAOURT BREW MACPORTS FINK CHOCO) (LOAD cl-sat.minisat.test FAIL) COMMON-LISP:SIMPLE-ERROR : none of the installation options are available! Supported packaging systems: (APT DNF YUM PACMAN YAOURT BREW MACPORTS FINK CHOCO)
clisp-2.49.95+-unix-arm64	(LOAD cl-sat.minisat FAIL) COMMON-LISP:SIMPLE-ERROR : none of the installation options are available! Supported packaging systems: (APT DNF YUM PACMAN YAOURT BREW MACPORTS FINK CHOCO) (LOAD cl-sat.minisat.test FAIL) COMMON-LISP:SIMPLE-ERROR : none of the installation options are available! Supported packaging systems: (APT DNF YUM PACMAN YAOURT BREW MACPORTS FINK CHOCO)
clisp-2.49.95+-unix-x64	(LOAD cl-sat.minisat FAIL) COMMON-LISP:SIMPLE-ERROR : none of the installation options are available! Supported packaging systems: (APT DNF YUM PACMAN YAOURT BREW MACPORTS FINK CHOCO) (LOAD cl-sat.minisat.test FAIL) COMMON-LISP:SIMPLE-ERROR : none of the installation options are available! Supported packaging systems: (APT DNF YUM PACMAN YAOURT BREW MACPORTS FINK CHOCO)
cmu-21f__21f_unicode_-linux-x86	(LOAD cl-sat.minisat FAIL) COMMON-LISP:SIMPLE-ERROR : Error in function TRIVIAL-PACKAGE-MANAGER:DO-INSTALL: none of the installation options are available! Supported packaging systems: (APT DNF YUM PACMAN YAOURT BREW MACPORTS FINK CHOCO) (LOAD cl-sat.minisat.test FAIL) COMMON-LISP:SIMPLE-ERROR : Error in function TRIVIAL-PACKAGE-MANAGER:DO-INSTALL: none of the installation options are available! Supported packaging systems: (APT DNF YUM PACMAN YAOURT BREW MACPORTS FINK CHOCO)
dotcl-0.1.36-linux-x64	(LOAD cl-sat.minisat FAIL) ASDF/FIND-SYSTEM:LOAD-SYSTEM-DEFINITION-ERROR : Error while trying to load definition for system cl-sat.minisat from pathname /home/dcooper8/cl-test-grid/work-dir/agent/dotcl/quicklisp/dists/quicklisp/software/cl-sat.minisat-20241012-git/cl-sat.minisat.asd: Error while trying to load definition for system trivial-features from pathname /home/dcooper8/cl-test-grid/work-dir/agent/dotcl/quicklisp/dists/quicklisp/software/trivial-features-20250622-git/trivial-features.asd: Sorry, your Lisp is not supported. Patches welcome. (LOAD cl-sat.minisat.test FAIL) ASDF/FIND-SYSTEM:LOAD-SYSTEM-DEFINITION-ERROR : Error while trying to load definition for system cl-sat.minisat from pathname /home/dcooper8/cl-test-grid/work-dir/agent/dotcl/quicklisp/dists/quicklisp/software/cl-sat.minisat-20241012-git/cl-sat.minisat.asd: Error while trying to load definition for system trivial-features from pathname /home/dcooper8/cl-test-grid/work-dir/agent/dotcl/quicklisp/dists/quicklisp/software/trivial-features-20250622-git/trivial-features.asd: Sorry, your Lisp is not supported. Patches welcome.	(LOAD cl-sat.minisat FAIL) COMMON-LISP:SIMPLE-ERROR : none of the installation options are available! Supported packaging systems: (APT DNF YUM PACMAN YAOURT BREW MACPORTS FINK CHOCO) (LOAD cl-sat.minisat.test FAIL) COMMON-LISP:SIMPLE-ERROR : none of the installation options are available! Supported packaging systems: (APT DNF YUM PACMAN YAOURT BREW MACPORTS FINK CHOCO)
ecl-26.5.5-unknown-linux-aarch64	(LOAD cl-sat.minisat FAIL) COMMON-LISP:SIMPLE-ERROR : none of the installation options are available! Supported packaging systems: (APT DNF YUM PACMAN YAOURT BREW MACPORTS FINK CHOCO) (LOAD cl-sat.minisat.test FAIL) COMMON-LISP:SIMPLE-ERROR : none of the installation options are available! Supported packaging systems: (APT DNF YUM PACMAN YAOURT BREW MACPORTS FINK CHOCO)
ecl-26.5.5-unknown-linux-x64	(LOAD cl-sat.minisat FAIL) COMMON-LISP:SIMPLE-ERROR : none of the installation options are available! Supported packaging systems: (APT DNF YUM PACMAN YAOURT BREW MACPORTS FINK CHOCO) (LOAD cl-sat.minisat.test FAIL) COMMON-LISP:SIMPLE-ERROR : none of the installation options are available! Supported packaging systems: (APT DNF YUM PACMAN YAOURT BREW MACPORTS FINK CHOCO)
egcl-0.0.11-linux-x64	(LOAD cl-sat.minisat FAIL) ASDF/FIND-SYSTEM:LOAD-SYSTEM-DEFINITION-ERROR : Error while trying to load definition for system cl-sat.minisat from pathname /home/dcooper8/cl-test-grid/work-dir/agent/egcl/quicklisp/dists/quicklisp/software/cl-sat.minisat-20241012-git/cl-sat.minisat.asd: #<LOAD-SYSTEM-DEFINITION-ERROR> (LOAD cl-sat.minisat.test FAIL) ASDF/FIND-SYSTEM:LOAD-SYSTEM-DEFINITION-ERROR : Error while trying to load definition for system cl-sat.minisat from pathname /home/dcooper8/cl-test-grid/work-dir/agent/egcl/quicklisp/dists/quicklisp/software/cl-sat.minisat-20241012-git/cl-sat.minisat.asd: #<LOAD-SYSTEM-DEFINITION-ERROR>		(LOAD cl-sat.minisat FAIL) UNDEFINED-FUNCTION : The function CLOSER-MOP:COMPUTE-SLOTS is undefined. (LOAD cl-sat.minisat.test FAIL) UNDEFINED-FUNCTION : The function CLOSER-MOP:COMPUTE-SLOTS is undefined.
sbcl-2.6.10-linux-arm64	(LOAD cl-sat.minisat FAIL) COMMON-LISP:SIMPLE-ERROR : none of the installation options are available! Supported packaging systems: (APT DNF YUM PACMAN YAOURT BREW MACPORTS FINK CHOCO) (LOAD cl-sat.minisat.test FAIL) COMMON-LISP:SIMPLE-ERROR : none of the installation options are available! Supported packaging systems: (APT DNF YUM PACMAN YAOURT BREW MACPORTS FINK CHOCO)
sbcl-2.6.10-linux-x64	(LOAD cl-sat.minisat FAIL) COMMON-LISP:SIMPLE-ERROR : none of the installation options are available! Supported packaging systems: (APT DNF YUM PACMAN YAOURT BREW MACPORTS FINK CHOCO) (LOAD cl-sat.minisat.test FAIL) COMMON-LISP:SIMPLE-ERROR : none of the installation options are available! Supported packaging systems: (APT DNF YUM PACMAN YAOURT BREW MACPORTS FINK CHOCO)

Breakdown by testcases: for every failed testcase the lisp implmentations it fails on

The library does not have a testsuite adapter for CL Test Grid.

Who depends on it

In Quicklisp 2026-01-01 no other project depends on it.

Pulled in by other systems' loads

No load of another system has recorded pulling this library in. Loads record what they pulled in since 2026-11-04; a lib-world tested before that has no such counts.

To reports overview

Generated at: 2026-11-14 08:00:39 GMT.