sukrutrao / Timetabler
A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
☆39Updated 5 years ago
Alternatives and similar repositories for Timetabler:
Users that are interested in Timetabler are comparing it to the libraries listed below
- ProbLog 2 is now at https://github.com/ML-KULeuven/problog☆10Updated 5 years ago
- Program synthesis☆12Updated 8 years ago
- An Excel formula parser☆12Updated 5 years ago
- OptFrame - C++17 (and C++20) Optimization Framework in Single or Multi-Objective. Supports classic metaheuristics and hyperheuristics: Ge…☆75Updated 7 months ago
- Knapsack Problem solved using Genetic optimization algorithm☆29Updated 5 years ago
- A C++ monorepo for discrete and continuous optimization. Batteries included!☆98Updated 9 months ago
- This repository demonstrates how the Presentation Scheduling problem, which is analogous to the famous University Course Timetabling Prob…☆56Updated 2 years ago
- Evolutionary feature synthesis☆17Updated 9 years ago
- Gamification of Mutation Testing☆41Updated last week
- A generic AST generator for parser development.☆32Updated 5 years ago
- DrawToCode receives an UML diagram from Draw.io and generates code from it.☆9Updated 5 years ago
- ACE View is a natural language based ontology and rule editor. ACE View uses Attempto Controlled English (ACE) in the front-end, and Web …☆8Updated 6 years ago
- Modular Java framework for meta-heuristic optimization☆32Updated 10 months ago
- A benchmark library for constraints☆86Updated 3 months ago
- Follow this "Urban Roast" demo tutorial series to power your app with Visualize.js!☆11Updated last year
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆48Updated 10 years ago
- The Chuffed CP solver☆98Updated last month
- Conjure: The Automated Constraint Modelling Tool☆101Updated last month
- A dataset of popular pages (taken from <dir.yahoo.com>) with manually marked up semantic blocks.☆15Updated 10 years ago
- Python interface to external TSP solvers☆31Updated 8 years ago
- A framework for Big Data Optimization with multi-objective metaheuristics☆47Updated last year
- AIKA (Artificial Intelligence for Knowledge Acquisition) is an innovative approach to neural network design, diverging from traditional a…☆75Updated this week
- ☆10Updated 2 years ago
- A heuristic solver for the set cover problem☆54Updated 4 years ago
- A Java Stochastic Dynamic Programming Library☆14Updated this week
- SYMPHONY is an open-source solver, callable library, and development framework for mixed-integer linear programs (MILPs) written in C wit…☆68Updated last month
- Automated Theorem Prover for Automatic Words☆21Updated 3 years ago
- Accuracy-based Learning Classifier Systems (XCS)☆49Updated 9 months ago
- Python library for declarative, constrained, structured-output prediction.☆21Updated last year