Permutations
gapt.examples.Permutations
object Permutations
Given n >= 2 creates an unsatisfiable first-order clause set based on a statement about the permutations in S_n.
Attributes
- Source
- FormulaSequences.scala
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
Permutations.type
Members list
In this article