Sign upLogin

ontohub/ontohub-models

View on GitHub
Star
app/models/consistency_checker.rb

Summary

Maintainability
A
0 mins
Test Coverage
# frozen_string_literal: true

# The Prover
class ConsistencyChecker < Reasoner
end