issues
search
conda-forge
/
cryptominisat-feedstock
A conda-smithy repository for cryptominisat.
BSD 3-Clause "New" or "Revised" License
0
stars
7
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
cryptominisat v5.6.5
#10
regro-cf-autotick-bot
closed
6 years ago
1
Split package and non-GPL variant
#9
mbargull
opened
6 years ago
18
cryptominisat v5.6.4
#8
regro-cf-autotick-bot
closed
6 years ago
1
cryptominisat v5.6.3
#7
regro-cf-autotick-bot
closed
6 years ago
1
cryptominisat v5.6.2
#6
regro-cf-autotick-bot
closed
6 years ago
1
cryptominisat v5.6.1
#5
regro-cf-autotick-bot
closed
6 years ago
1
cryptominisat v5.6.0
#4
regro-cf-autotick-bot
closed
6 years ago
4
Only install cryptominisat5
#3
saraedum
closed
6 years ago
6
Build Python2 bindings
#2
saraedum
closed
6 years ago
0
Support windows
#1
isuruf
opened
6 years ago
19
Previous