2PATS-search-ocaml

From self-assembly wiki
Revision as of 09:38, 30 June 2014 by \('"2\)'"7
(\(1) \)2 | \(3 (\)4) | \(5 (\)6)
Jump to navigation Jump to search


Name

2PATS-ocaml

Description

The proven ocaml version of the programmatic search used in the 2pats paper (http://arxiv.org/abs/1404.0967).

It requires Parry (http://parry.lif.univ-mrs.fr), and the Cryptokit ocaml package.

Retrieved from "http://self-assembly.net/wiki/index.php?title=2PATS-search-ocaml&oldid=1231"