GaloisInc / what4-solvers

Multi-platform binary creation for solvers of the versions most suitable for use with What4
5 stars 1 forks source link

ARM64 Linux builds #50

Open RyanGlScott opened 1 month ago

RyanGlScott commented 1 month ago

Currently, we offer X64 Linux builds of the solvers, but not ARM64 builds. This is primarily limited by the fact that GitHub Actions only offers X64 Ubuntu small runners at the time of writing this. There is a possibility that this may expand to ARM64 in the future, as GitHub now offers ARM64 Ubuntu large runners (which are more expensive than the default, small runners).