A refresh request is in progress, please wait...

Queue position: None

sci-mathematics/minisat

Description
Small yet efficient SAT solver with reference paper.
Homepage
http://minisat.se/Main.html
Maintainers

Gentoo Science Project <sci@gentoo.org>

Q&A
Version history
  • gentoo - sci-mathematics/minisat-2.2.0_p20130925 [gentoo] - July 7, 2017, 5:05 a.m.
  • gentoo - sci-mathematics/minisat-2.2.0-r4 [gentoo] - July 7, 2017, 5:05 a.m.
  • gentoo + sci-mathematics/minisat-2.2.0_p20130925 [gentoo] - Sept. 14, 2016, 5:05 a.m.
  • gentoo - sci-mathematics/minisat-2.2.0-r3 [gentoo] - Sept. 9, 2016, 5:05 a.m.
  • gentoo - sci-mathematics/minisat-2.1.0 [gentoo] - Sept. 9, 2016, 5:05 a.m.
  • gentoo + sci-mathematics/minisat-2.2.0-r4 [gentoo] - Sept. 9, 2016, 5:05 a.m.
  • gentoo + sci-mathematics/minisat-2.2.0-r3 [gentoo] - April 30, 2014, 7:52 a.m.
  • gentoo + sci-mathematics/minisat-2.1.0 [gentoo] - April 30, 2014, 7:52 a.m.
euscan log

Date: Feb. 25, 2020, 12:46 a.m.

 * SRC_URI is 'https://github.com/niklasso/minisat/archive/37dc6c67e2af26379d88ce349eb9c4c6160e8543.tar.gz'
 * Url doesn't seems to depend on version: 2.2.0_p20130925 not found in https://github.com/niklasso/minisat/archive/37dc6c67e2af26379d88ce349eb9c4c6160e8543.tar.gz
 * SRC_URI is 'http://minisat.se/downloads/MiniSat.pdf'
 * Url doesn't seems to depend on version: 2.2.0_p20130925 not found in http://minisat.se/downloads/MiniSat.pdf