MidnightBSD Magus
Magus
Home
Run List
Machine List
Critical Port List
Port Updates
API
App Store
MidnightBSD
math/yices
SMT solver
Flavor
Version
Run
OSVersion
Arch
License
Restricted
Status
2.7.0_2
627
4.0
i386
gpl3+
0
untested
License Permissions:
Links
GitHub
Homepage
All math/yices results
Depends On
Nothing
Depend Of
cad/yosys
Categories
math
CVEs
Loading CVE information...
LLM Analysis
Model:
qwen2.5-coder:14b
phi4
deepseek-coder:6.7b
llama3.2:3b
gemma4:latest
mistral-nemo:latest
mistral:7b
gemma3:latest
mistral-small-latest
mistral-medium-latest
mistral-large-latest
Analyze