Skip to content

johnbachman/syndra

BranchesTags
 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

129 Commits

examples

examples

 
 

indra @ 91c6ff9

indra @ 91c6ff9

 
 

indra_processor

indra_processor

 
 

l_to_z3

l_to_z3

 
 

metakappa

metakappa

 
 

small_tests

small_tests

 
 

test

test

 
 

venv

venv

 
 

.gitignore

.gitignore

 
 

.gitmodules

.gitmodules

 
 

README.md

README.md

 
 

__init__.py

__init__.py

 
 

indra_sandbox.py

indra_sandbox.py

 
 

interface_indra_to_syndra.py

interface_indra_to_syndra.py

 
 

requirements.txt

requirements.txt

 
 

Repository files navigation

syndra

PySB and Kappa and synthesis and verification.

About

PySB and Kappa and synthesis and verification

Resources

Readme
Activity

Stars

0 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages

  • C 75.5%
  • Python 23.6%
  • Other 0.9%