Giters

russross / sat-schedule

experiments in timetabling using SAT solvers

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

experiments in timetabling using SAT solvers

License:GNU Affero General Public License v3.0

Languages

Language:Python 100.0%