published Published 8 months ago
SimSGamE : Scheduling simulator for modern game engines
C++ Jupyter Notebook Python
published Published 8 months ago
Mallob: Scalable SAT Solving On Demand With Decentralized Job Scheduling
Dockerfile Python
published Published over 4 years ago