{"bugs":[],"categories":[{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"cd2ace368ce54903960cb93cc7fcd96278129b95","committime":"2023-01-28T00:43:18","packageid":75647,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"sam@gentoo.org","authorname":"Sam James","body":"Signed-off-by: Sam James <sam@gentoo.org>","commitid":"c5826ad5fec500e6c926e02ade3b7a03ec80e98c","committime":"2023-01-28T00:18:43","packageid":75647,"repoid":1,"summary":"sci-mathematics\/picosat: Stabilize 965 amd64, #892299"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"6aebcab3f74f340d9ae7c6355edf99623c703daa","committime":"2023-01-13T15:47:01","packageid":75647,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"This reverts commit 7adf72129265d77da74162a048fb2f9ec9a4005a.\n\nCloses: https:\/\/bugs.gentoo.org\/890700\nSigned-off-by: Maciej Barć <xgqt@gentoo.org>","commitid":"6470b88ee3af3267b1433cec4ace458816e52830","committime":"2023-01-13T14:57:23","packageid":75647,"repoid":1,"summary":"Revert \"sci-mathematics\/picosat: also install static libraries\""},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"93b697a324e9c42fc2e49039d83308044365d974","committime":"2023-01-11T04:02:12","packageid":75647,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć <xgqt@gentoo.org>","commitid":"7adf72129265d77da74162a048fb2f9ec9a4005a","committime":"2023-01-11T01:08:51","packageid":75647,"repoid":1,"summary":"sci-mathematics\/picosat: also install static libraries"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"db1f39e366adb86982617e73fa7585a2d10e21cc","committime":"2022-12-06T06:31:43","packageid":75647,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć <xgqt@gentoo.org>","commitid":"aed12ac2a6a2bae81f5dfc588b67cf650349cb37","committime":"2022-12-06T06:19:33","packageid":75647,"repoid":1,"summary":"sci-mathematics\/picosat: fix patch apply"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a395663f1e645316c2abcb416317020d0a045f64","committime":"2022-12-06T02:31:43","packageid":75647,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć <xgqt@gentoo.org>","commitid":"4ba37122421305604b072844daa4b1da37f8202b","committime":"2022-12-06T02:18:34","packageid":75647,"repoid":1,"summary":"sci-mathematics\/picosat: new package; add 965"}],"dependencies":[],"depending":[{"block":false,"categoryid":317,"description":"Fast SMT solver for bit-vectors, arrays and uninterpreted functions","ebuildids":[805248,805248,839703,839703],"firstseen":"2023-01-11T04:08:58.040421","name":"boolector","packageid":75749,"summary":"Boolector is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions. It supports the SMT-LIB logics BV, QF_ABV, QF_AUFBV, QF_BV and QF_UFBV. Boolector provides a rich C and Python API and supports incremental solving, both with the SMT-LIB commands push and pop, and as solving under assumptions."}],"ebuilds":[{"archs":["amd64","~x86"],"ebuildid":774754,"firstseen":"2023-01-13T16:02:33.198122","license":"MIT","moddate":"2024-12-17T22:35:47","packageid":75647,"repoid":1,"slot":"0","uses":[],"version":"965"}],"masks":[],"package":{"categoryid":317,"description":"SAT solver with proof and core support","firstseen":"2022-12-06T02:51:40.114587","name":"picosat","packageid":75647},"rdependencies":[],"repos":[{"branch":"master","lastcommit":"704e2a4ff23e43ee97c08684e9cd1a8f0c9a6e97","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["http:\/\/fmv.jku.at\/picosat\/"],"uses":[]}