2 results found Sort:

wannesm
PySDD wannesm
16
52
other
7
Python package for Sentential Decision Diagrams (SDD)
sdd cython python model-counting knowledge-compilation weighted-model-counting
Created 2018-03-14
241 commits to master branch, last one 10 days ago
sjefvanleeuwen
showcase sjefvanleeuwen
11
49
other
3
A Full Stack Journey with Micro Services and Micro Front Ends. Using dapr, kubernetes, react module federation and web assembly,
sdd dapr react devops gateway graphql fullstack stitching kubernetes simulation feature-team microservice micro-service graphql-client graphql-server micro-frontend graphql-gateway module-federation integration-testing simulation-driven-development
Created 2021-02-04
189 commits to main branch, last one 3 years ago