rubygem-axiom-types
Abstract types for logic programming
Define types with optional constraints for use within axiom and other libraries.
There is no official package available for openSUSE Leap 16.0Distributions
openSUSE Tumbleweed
openSUSE Leap 16.0
openSUSE Leap 15.6
openSUSE Backports for SLE 15 SP4
openSUSE Backports for SLE 15 SP3
SUSE SLE-15-SP2
SUSE SLE-15-SP1
Unsupported distributions
The following distributions are not officially supported. Use these packages at your own risk.