Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
1 result
Blame Permalink
  • Maximilian Brokamp's avatar
    607a7fe2
    Initial commit of modified STP Version. · 607a7fe2
    Maximilian Brokamp authored 
    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
    607a7fe2
    History
    Initial commit of modified STP Version.
    Maximilian Brokamp authored 
    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