app/models/reasoner_configuration.rb
# frozen_string_literal: true
# The configuration of a Reasoner
class ReasonerConfiguration < Sequel::Model
many_to_one :configured_reasoner, class: Reasoner
one_to_many :reasoning_attempts
one_to_many :premise_selections
def repositories
reasoning_attempts.map(&:repository).uniq
end
end