Binary package “ruby-axiom-types” in ubuntu xenial

Ruby module for abstract types for logic programming

 This package provides a Ruby module that allows one to define types with
 optional constraints for use within axiom and other libraries. It can
 be used for logic programming.