Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/adithyaov/general-scheduler
https://github.com/adithyaov/general-scheduler
scheduler z3-smt-solver
Last synced: 15 days ago
JSON representation
- Host: GitHub
- URL: https://github.com/adithyaov/general-scheduler
- Owner: adithyaov
- Created: 2018-01-09T13:30:38.000Z (about 7 years ago)
- Default Branch: master
- Last Pushed: 2018-04-26T10:50:46.000Z (over 6 years ago)
- Last Synced: 2024-11-07T06:47:14.107Z (2 months ago)
- Topics: scheduler, z3-smt-solver
- Language: Python
- Size: 13.2 MB
- Stars: 3
- Watchers: 6
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# README
# Team MORAGS
* Adithya
* Rohith
* Mayank
* Gayathri
* Sooraj
* Juse (aka Anil)# Concept of the Project
We know that Scheduling is a NP-hard problem. Our aim is to convert the scheduling problem into a SAT problem to use the Z3 SMT solver. We have to find out a way to set up a query language which a client can use to define their problem which should be converted to a SAT problem.# Installing dependencies
```bash
pip install -r requirements.txt
```# INSTALLING Z3
Create an issue and assign **immkg** if any problem occurs during installation.
* step 01: `mkdir -p ~/capp; cd ~/capp`
* step 02: `git clone https://github.com/Z3Prover/z3.git`
* step 03: `cd z3`
* step 04: `python scripts/mk_make.py`
* step 05: `cd build`
* step 06: `make`
* step 07: `sudo make install`
* step 08: `cd ~`
* step 09: `cp .bashrc .bashrc_bkp`
* step 10: `echo "export LD_LIBRARY_PATH=~/capp/z3/build" >> .bashrc`
* step 11: `echo "export PYTHONPATH=~/capp/z3/build/python" >> .bashrc`
* step 12: `source .bashrc`