sci-mathematics/minisat
Small yet efficient SAT solver with reference paper
ChangeLog
commit 3125e706a7baaed16c28226342866df56afc1edf
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sun Apr 30 00:11:34 2017 -0600
merged from funtoo-staging
merged:
funtoo-staging: e137fbe05d07148f288e0c3233dd48294926b33d
commit 5fd09132b758233e1f9c24704e832f96df19683b
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Mar 1 00:13:24 2017 -0700
merged from funtoo-staging
merged:
funtoo-staging: d605f51aadda4424f4d767132f6c9c99218c6f66
commit eee4d0fb2cfc99c698fa8d7276ec2c23487ff963
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sun Sep 18 10:25:45 2016 -0600
merged from funtoo-staging
merged:
funtoo-staging: ceabf63cbfb29691a15ef5fd72c7915ae1de166d
commit 926b5f87fb8f12717c33f0669b6c3f81eddbe306
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Sep 13 21:23:10 2016 -0600
merged from funtoo-staging
merged:
funtoo-staging: a8912e5e8d972a5024086ed6d84125ac12912ecf
commit c606685c805fb3fa57942d9420092a9ee5334033
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Thu Sep 8 20:52:03 2016 -0600
merged from funtoo-staging
merged:
funtoo-staging: e1446afd2fceb559df75b627db470fa2dacc9d92
commit 3549ddbcd43f6a95226fc79bcbed34a71973b900
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Jan 27 01:12:39 2016 -0700
merged from funtoo-staging
merged:
funtoo-staging: 3c6d53b50924e85ee45686ebd1cde275bd1895fc
commit 9781119c870823ba98f1a381de005521ed9f5be7
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Fri Sep 25 22:54:31 2015 +0000
merged from funtoo-staging
merged:
funtoo-staging: 246277491a275205f9617b80e0f9a169b07b02eb
commit 598ded5ea89821a0d724c8993405c45042b3d82e
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Aug 25 00:26:24 2015 +0000
merged from funtoo-staging
merged:
funtoo-staging: 4322619cb1872cc9dbe0fa1fdcd184a3642bac32
commit 0099bee1c097c4e9ad62cbba61b9ef6c5abc8471
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Aug 24 12:27:16 2015 +0000
merged from funtoo-staging
merged:
funtoo-staging: ccd94e33817483691f8e043d7189fe44803aa808
commit 89cc3c4a2ec900bafe261c635084614d240105ec
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Aug 11 04:10:59 2015 +0000
merged from funtoo-staging
merged:
funtoo-staging: 90795ffd7b6d717be93874c2cfb775f3c3bb5169
commit 009bacfa602046d739fe5e8ba56c31f6d2630b5d
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Aug 11 00:39:58 2014 +0000
glorious funtoo updates
merged:
funtoo-overlay: 099cb7bdab1b6099bc0bc6b8f9ba82a88fcc688a
funtoo-mysql: c0f5ef9fbd1b65d4a4aaf3ed36c0b311dd616da9
funtoo-ldap: 63fb17b380185effbb7cca9d86aaad23ee605834
faustoo: a99772faa289b5a111e05522894b82ab69a18c81
foo-overlay: 4cac746e142029c8354eb0d3ee4957033c99fb10
bar-overlay: 1ad50aaef1e93863ab64d2b36a4a28686d55bb17
bliss-overlay: 49433d033bb07d5bcee3d0ee5bc62e03fe1cb0c7
funtoo-plex: 7fbc248f9f4301931ca5f5cf9e5e6892bea647b2
squeezebox: 7d78015cf563fd236723dbb2dc6cd2de6dad1bbf
funtoo-gnome: 8ef67c5d149c63e2907426f3527edf339da5d62e
funtoo-deadbeef: e5ece3cb23adb949c27a6143fe086b501396125b
sabayon-for-gentoo: 6bd086cd210fda05d411411323509882e31a417d
commit 8d7b1573ada7d2fe30bf23919783ade715687e58
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sun Oct 7 12:40:56 2012 -0600
glorious funtoo updates
merged:
funtoo-overlay: fd6915bb933a64baeed41b968da5d08b08ec6f1f
foo-overlay: 49364501b49e209c1e5602ddde1dd6531e118fab
bar-overlay: 78a0865873ba50e93705d46779fd9344e60a9af3
flora: 475c1be884ecb24c9925d6cb529178049dd27f2f
mythtv: 774a102d15bb933fb5453c613aa2a70cdc414bf3
commit a3e88ee48a7adee91998b076f79f8afec8739dd1
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sun Jan 22 23:38:09 2012 -0700
glorious funtoo updates
merged:
gentoo: 13843f35165af6e99b1fe74c738636eac84ca68b
funtoo-overlay: 5b4c778a48328a48d6b4dbd89716701ae9e16609
foo-overlay: 1f6221fc09bef4647caf44c57a3cf48a65ce58bb
bar-overlay: 4b6579bdb26d820bd55e85488c8e5eb80d8e8011
flora: 4f9e07e1032406abfa7d4b8d6aa025cc69c934ef
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sun Apr 30 00:11:34 2017 -0600
merged from funtoo-staging
merged:
funtoo-staging: e137fbe05d07148f288e0c3233dd48294926b33d
commit 5fd09132b758233e1f9c24704e832f96df19683b
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Mar 1 00:13:24 2017 -0700
merged from funtoo-staging
merged:
funtoo-staging: d605f51aadda4424f4d767132f6c9c99218c6f66
commit eee4d0fb2cfc99c698fa8d7276ec2c23487ff963
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sun Sep 18 10:25:45 2016 -0600
merged from funtoo-staging
merged:
funtoo-staging: ceabf63cbfb29691a15ef5fd72c7915ae1de166d
commit 926b5f87fb8f12717c33f0669b6c3f81eddbe306
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Sep 13 21:23:10 2016 -0600
merged from funtoo-staging
merged:
funtoo-staging: a8912e5e8d972a5024086ed6d84125ac12912ecf
commit c606685c805fb3fa57942d9420092a9ee5334033
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Thu Sep 8 20:52:03 2016 -0600
merged from funtoo-staging
merged:
funtoo-staging: e1446afd2fceb559df75b627db470fa2dacc9d92
commit 3549ddbcd43f6a95226fc79bcbed34a71973b900
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Wed Jan 27 01:12:39 2016 -0700
merged from funtoo-staging
merged:
funtoo-staging: 3c6d53b50924e85ee45686ebd1cde275bd1895fc
commit 9781119c870823ba98f1a381de005521ed9f5be7
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Fri Sep 25 22:54:31 2015 +0000
merged from funtoo-staging
merged:
funtoo-staging: 246277491a275205f9617b80e0f9a169b07b02eb
commit 598ded5ea89821a0d724c8993405c45042b3d82e
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Aug 25 00:26:24 2015 +0000
merged from funtoo-staging
merged:
funtoo-staging: 4322619cb1872cc9dbe0fa1fdcd184a3642bac32
commit 0099bee1c097c4e9ad62cbba61b9ef6c5abc8471
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Aug 24 12:27:16 2015 +0000
merged from funtoo-staging
merged:
funtoo-staging: ccd94e33817483691f8e043d7189fe44803aa808
commit 89cc3c4a2ec900bafe261c635084614d240105ec
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Tue Aug 11 04:10:59 2015 +0000
merged from funtoo-staging
merged:
funtoo-staging: 90795ffd7b6d717be93874c2cfb775f3c3bb5169
commit 009bacfa602046d739fe5e8ba56c31f6d2630b5d
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Mon Aug 11 00:39:58 2014 +0000
glorious funtoo updates
merged:
funtoo-overlay: 099cb7bdab1b6099bc0bc6b8f9ba82a88fcc688a
funtoo-mysql: c0f5ef9fbd1b65d4a4aaf3ed36c0b311dd616da9
funtoo-ldap: 63fb17b380185effbb7cca9d86aaad23ee605834
faustoo: a99772faa289b5a111e05522894b82ab69a18c81
foo-overlay: 4cac746e142029c8354eb0d3ee4957033c99fb10
bar-overlay: 1ad50aaef1e93863ab64d2b36a4a28686d55bb17
bliss-overlay: 49433d033bb07d5bcee3d0ee5bc62e03fe1cb0c7
funtoo-plex: 7fbc248f9f4301931ca5f5cf9e5e6892bea647b2
squeezebox: 7d78015cf563fd236723dbb2dc6cd2de6dad1bbf
funtoo-gnome: 8ef67c5d149c63e2907426f3527edf339da5d62e
funtoo-deadbeef: e5ece3cb23adb949c27a6143fe086b501396125b
sabayon-for-gentoo: 6bd086cd210fda05d411411323509882e31a417d
commit 8d7b1573ada7d2fe30bf23919783ade715687e58
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sun Oct 7 12:40:56 2012 -0600
glorious funtoo updates
merged:
funtoo-overlay: fd6915bb933a64baeed41b968da5d08b08ec6f1f
foo-overlay: 49364501b49e209c1e5602ddde1dd6531e118fab
bar-overlay: 78a0865873ba50e93705d46779fd9344e60a9af3
flora: 475c1be884ecb24c9925d6cb529178049dd27f2f
mythtv: 774a102d15bb933fb5453c613aa2a70cdc414bf3
commit a3e88ee48a7adee91998b076f79f8afec8739dd1
Author: Daniel Robbins <drobbins@funtoo.org>
Date: Sun Jan 22 23:38:09 2012 -0700
glorious funtoo updates
merged:
gentoo: 13843f35165af6e99b1fe74c738636eac84ca68b
funtoo-overlay: 5b4c778a48328a48d6b4dbd89716701ae9e16609
foo-overlay: 1f6221fc09bef4647caf44c57a3cf48a65ce58bb
bar-overlay: 4b6579bdb26d820bd55e85488c8e5eb80d8e8011
flora: 4f9e07e1032406abfa7d4b8d6aa025cc69c934ef