Skip to content

Software for simulating polarizationless P systems with symport/antiport rules and creation rules

Notifications You must be signed in to change notification settings

RGNC/creation-ccc

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

5 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

creation-ccc

Software for simulating polarizationless P systems with symport/antiport rules and creation rules

The files contain specific functions for solving QSAT with P systems from $\widehat{CCC}(1)$.

In the main file, the formula to be solved can be changed by changing the $formula$ variable, letting it be a formula from the examples file or a custom formula.

About

Software for simulating polarizationless P systems with symport/antiport rules and creation rules

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages