noahbass / scheduler-sat

Using a SAT solver to prove correctness of schedules given a list of constraints.

scheduler-sat

Using a SAT solver to prove correctness of schedules given a list of constraints.

Quick Start

This project includes both Python and BDDs (for a SAT solver).

Python code

Requirements:

• Python 3 (and pip 3)
• virtualenv (optional)

Clone and run tests:

$ git clone [e-mail]:noahbass/scheduler-sat.git
$ cd scheduler-sat
$ pip3 install -r requirements.txt # optionally use virtualenv before this step
$ python3 main.test.py -v

SAT code

Requirements:

• sbsat

Clone and run:

$ git clone [e-mail]:noahbass/scheduler-sat.git
$ cd scheduler-sat
$ sbsat validator.bdd # or use ./sbsat.run validator.bdd
# Reading File validator.bdd  ....
# Reading ITE ... Done
# Preprocessing .... Done                            
# Satisfiable
# Total Time: 0.005

Presentation

Slide deck

Python Tests

$ pip3 install -r requirements.txt
$ python3 main.test.py -v
$ python3 validator.test.py -v

Authors

@noahbass and @linkb98

License

MIT