Group: Refinery Ibex
1.Refinery IBEX Java Bindings (Darwin Aarch64)1 usages
tools.refinery.ibex » refinery-ibex-solver-darwin-aarch64 Apache +1
IBEX Java Bindings (Darwin aarch64) for Refinery, an efficient graph solver for generating well-formed models
Last Release on Jul 9, 2026
2.Refinery IBEX Java Bindings (Linux Aarch64)1 usages
tools.refinery.ibex » refinery-ibex-solver-linux-aarch64 Apache +1
IBEX Java Bindings (Linux aarch64) for Refinery, an efficient graph solver for generating well-formed models
Last Release on Jul 9, 2026
3.Refinery IBEX Java Bindings (Linux X86_64)1 usages
tools.refinery.ibex » refinery-ibex-solver-linux-x86-64 Apache +1
IBEX Java Bindings (Linux x86_64) for Refinery, an efficient graph solver for generating well-formed models
Last Release on Jul 9, 2026
4.Refinery IBEX Java Bindings (Win32 X86_64)1 usages
tools.refinery.ibex » refinery-ibex-solver-win32-x86-64 Apache +1
IBEX Java Bindings (Win32 x86_64) for Refinery, an efficient graph solver for generating well-formed models
Last Release on Jul 9, 2026
5.Refinery IBEX Java Bindings
tools.refinery.ibex » refinery-ibex-solver Apache +1
IBEX Java Bindings for Refinery, an efficient graph solver for generating well-formed models
Last Release on Jul 9, 2026