Skip to content

gonzigaran/global-spectrum

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

34 Commits

examples

examples

 
 

output/diam_variety

output/diam_variety

 
 

.gitignore

.gitignore

 
 

LICENSE

LICENSE

 
 

README.md

README.md

 
 

atomic.py

atomic.py

 
 

globalkernel.py

globalkernel.py

 
 

globalspectrum.py

globalspectrum.py

 
 

minion_globalspectrum.py

minion_globalspectrum.py

 
 

requirements.txt

requirements.txt

 
 

run_diam.py

run_diam.py

 
 

run_semilattices.py

run_semilattices.py

 
 

tox.ini

tox.ini

 
 

utils.py

utils.py

 
 

Repository files navigation

Global Spectrum

Repository for global spectrum algorithms

About

Repository for global spectrum algorithms

Topics

python algebra first-order-logic universal-algebra folpy

Resources

Readme

License

GPL-3.0 license
Activity

Stars

0 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Contributors 2

  •  
  •  

Languages