Information for build picosat-965-3.oc9
| ID | 39857 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Package Name | picosat | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Version | 965 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Release | 3.oc9 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Epoch | Draft | False | ||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Source | git+https://gitee.com/opencloudos-stream/picosat.git?.#defad017770dbf6c9ec3dbb33e793e41c9a77c3a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Summary | A SAT solver | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Description | PicoSAT solves the SAT problem, which is the classical NP complete problem of searching for a satisfying assignment of a propositional formula in conjunctive normal form (CNF). PicoSAT can generate proofs and cores in memory by compressing the proof trace. It supports the proof format of TraceCheck. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Built by | bbrucezhang | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
| State | complete | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Volume | DEFAULT | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Started | Fri, 13 Jun 2025 20:41:28 CST | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Completed | Fri, 13 Jun 2025 20:48:21 CST | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Task | build (dist-oc9-epol, /opencloudos-stream/picosat.git:.:origin/master) | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Extra | {'source': {'original_url': 'git+https://gitee.com/opencloudos-stream/picosat.git?.#origin/master'}} | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Tags |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
| RPMs |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Logs | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Changelog | * Wed Jun 11 2025 bbrucezhang <bbrucezhang@tencent.com> - 965-3 - Rebuilt for loongarch64 * Fri Aug 16 2024 OpenCloudOS Release Engineering <releng@opencloudos.tech> - 965-2 - Rebuilt for loongarch release * Mon Dec 11 2023 Shuo Wang <abushwang@tencent.com> - 965-1 - initial build |
