kris-brown/CombinatorialEnumeration.jl
Enumerate models of finite limit sketches up to isomorphism
JuliaMIT
Issues
- 0
Logic based interface
#9 opened - 0
- 0
thread parallelism
#6 opened - 1
Implement category of sketches
#5 opened - 1
Take advantage of nauty's orbits
#4 opened - 1
- 0
- 0
create a web interface
#1 opened