Module

class Module(val name: String, val libraries: Runtime)

A module of an arg2p solver: the libraries its goals are solved against, those of the solver and its own

Constructors

constructor(name: String, libraries: Runtime)

val libraries: Runtime