Skip to content

Parse prover output for ProverResult to return AST model #109

New issue
New issue
Open
Open
Parse prover output for ProverResult to return AST model#109
Assignees
jspam
Labels
featuremodelparser / validator / typesystemprover
@bafain

Description

@bafain
bafain
opened on Mar 3, 2012
No description provided.

Metadata

Metadata

Assignees

Labels

featuremodelparser / validator / typesystemprover

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions