Tests.__Ramsey33 Method

Solves for the (3,3) Ramsey number. See this paper for details.

Namespace: Microsoft.Research.Liquid
Assembly: Liquid1 (in Liquid1.dll) Version: 1.0.0.0 (1.0.0.0)

Syntax

static member __Ramsey33 : unit -> unit