summaryrefslogtreecommitdiff
path: root/sci-mathematics/picosat
Commit message (Collapse)AuthorAgeFilesLines
* Adding metadataroot2026-06-124-0/+61
|
* Adding metadataroot2026-06-124-61/+0
|
* Adding metadataroot2026-06-044-0/+61
|
* Adding metadataroot2026-06-044-61/+0
|
* Revert "Adding metadata"root2026-06-044-0/+61
| | | | This reverts commit f716a9fe6455d39eef01e718aae68dae61c19704.
* Adding metadataroot2026-06-044-61/+0
|
* Adding metadataroot2026-05-311-8/+7
|
* Adding metadataroot2026-05-311-1/+1
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-291-7/+8
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-04-291-8/+7
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-01-291-2/+2
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-01-141-2/+1
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-01-111-1/+2
|
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-12-064-0/+62