GitHub - leflings/curriculum-planner

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
.gitignore		.gitignore
App.config		App.config
CurriculumPlanner.fs		CurriculumPlanner.fs
FileParser.fs		FileParser.fs
LICENSE.txt		LICENSE.txt
Main.fs		Main.fs
Project3.fsproj		Project3.fsproj
Project3.sln		Project3.sln
README.txt		README.txt
Scheduler.fs		Scheduler.fs
Script.fsx		Script.fsx
Types.fs		Types.fs
Utils.fs		Utils.fs
big-with-prereqs.csv		big-with-prereqs.csv
big.csv		big.csv
constraints.txt		constraints.txt
medium.csv		medium.csv
small.csv		small.csv

Repository files navigation

The projects are using Z3 4.0 32-bit, so make sure that you don't accidentally compile them with x64 Platform target.

You should also use F# Interactive 32-bit to experiment with the project.