Skip to content

Encode Alloy example, Theory of Lists in Z3 #101

Open
@ferhaterata

Description

@ferhaterata

Perform encoding based on the chapter 2 of the following paper from Torlak et. al.

https://pdfs.semanticscholar.org/0eab/e48331afb53ca63caac48b6abca43908d8e5.pdf

related to #96
@harunuyar

Metadata

Metadata

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions