Skip to content
Snippets Groups Projects
Commit 607a7fe2 authored by Maximilian Brokamp's avatar Maximilian Brokamp
Browse files

Initial commit of modified STP Version. 

Based on STP version 2.3.3.

This modified version adds the function
vc_printQueryStateAsCNFToBuffer to the c interface.
This function returns a Buffer containing a C-String with
the CNF Representation of the current QeryState
parents
No related branches found
No related tags found
No related merge requests found
Expand all Hide whitespace changes
Inline Side-by-side
Showing
with 1168 additions and 0 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment