summaryrefslogtreecommitdiff
path: root/sci-mathematics/minisat
Commit message (Expand)AuthorAgeFilesLines
* Publish srcux candidate 0000000350-20260923-001240Crucible18 hours1-2/+2
* Adding metadataroot2026-06-126-0/+162
* Adding metadataroot2026-06-126-162/+0
* Adding metadataroot2026-06-046-0/+162
* Adding metadataroot2026-06-046-165/+0
* Revert "Adding metadata"root2026-06-046-0/+165
* Adding metadataroot2026-06-046-165/+0
* Adding metadataroot2026-05-311-9/+11
* Adding metadataroot2026-05-311-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-11-051-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2025-03-242-1/+10
* Adding metadataLiguros - Gitlab CI/CD [develop]2023-02-072-4/+50
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-01-243-20/+72
* Adding metadataLiguros - Gitlab CI/CD [develop]2022-01-183-585/+0
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-12-283-0/+45
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-07-201-9/+8
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-07-201-10/+9
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-03-011-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-02-281-1/+1
* Adding metadataLiguros - Gitlab CI/CD [develop]2021-02-101-1/+1
* Updating liguros repoLiguros - Gitlab CI/CD [develop]2021-02-071-1/+1
* Updating liguros repoLiguros - Gitlab CI/CD [develop]2021-02-061-8/+9
* Updating liguros repoLiguros - Gitlab CI/CD [develop]2021-02-061-1/+0
* Updating liguros repoLiguros - Gitlab CI/CD [develop]2021-01-204-229/+0
* Updating liguros repoLiguros - Gitlab CI/CD [feature/flatten]2020-07-012-2/+2
* Updating liguros repoPalica2020-06-236-0/+827