Information for build picosat-965-1.oc9
| ID | 20846 | ||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Package Name | picosat | ||||||||||||||||||||||||||||||||||||||
| Version | 965 | ||||||||||||||||||||||||||||||||||||||
| Release | 1.oc9 | ||||||||||||||||||||||||||||||||||||||
| Epoch | Draft | False | |||||||||||||||||||||||||||||||||||||
| Source | git+https://gitee.com/opencloudos-stream/picosat#17960aebd11f27b903849b2c06c5ca94a063eef5 | ||||||||||||||||||||||||||||||||||||||
| 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 | denisecheng | ||||||||||||||||||||||||||||||||||||||
| State | complete | ||||||||||||||||||||||||||||||||||||||
| Volume | DEFAULT | ||||||||||||||||||||||||||||||||||||||
| Started | Tue, 30 Jan 2024 11:48:49 CST | ||||||||||||||||||||||||||||||||||||||
| Completed | Tue, 30 Jan 2024 11:51:56 CST | ||||||||||||||||||||||||||||||||||||||
| Task | build (dist-oc9-epol, /opencloudos-stream/picosat:origin/master) | ||||||||||||||||||||||||||||||||||||||
| Extra | {'source': {'original_url': 'git+https://gitee.com/opencloudos-stream/picosat#origin/master'}} | ||||||||||||||||||||||||||||||||||||||
| Tags |
|
||||||||||||||||||||||||||||||||||||||
| RPMs |
|
||||||||||||||||||||||||||||||||||||||
| Logs |
|
||||||||||||||||||||||||||||||||||||||
| Changelog | * Mon Dec 11 2023 Shuo Wang <abushwang@tencent.com> - 965-1 - initial build |
