Issues
- 1
Update homebrew formula for IKOS 3.3
#14 opened by ivanperez-keera - 2
- 2
Installation of apron fails on Debian Trixie
#13 opened by ffrohn - 0
Fails on macOS ARM64
#12 opened by paxter - 2
- 7
- 3
brew install on mac air fails
#4 opened by mkinney - 8
- 6
IKOS build fails on gcc12
#6 opened by dunaich - 4
- 11
Homebrew formula improvements
#9 opened by arthaud - 0
- 1
Fails to install on centos 8
#2 opened by Rob-McKay - 13
IKOS installation fails
#1 opened by dschuessler