Radish alpha
H
HardenedBSD-pkg
rad:z3QDZAW2FAfuLvihrhiyDC9fAD8G9
HardenedBSD Package Manager
Radicle
Git
History for scripts/pkg_aspcud.sh  ·  View all commits
4 commits
M
Merge branch 'master' into indexfile
Matthew Seaman
12 years ago e46df05
V
Use only one SAT model.
Vsevolod Stakhov
12 years ago 0e2e45d
V
Use trendy criteria by default.
Vsevolod Stakhov
12 years ago 64daf42
V
Add helper script for aspcud external solver.
Vsevolod Stakhov
12 years ago 62f912d