unsatisfiable-0: Unsatisfiable type class

Index

pluginUnsatisfiable.Plugin, Unsatisfiable
UnsatisfiableUnsatisfiable.Class, Unsatisfiable
unsatisfiableUnsatisfiable.Class, Unsatisfiable