A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
☆43Sep 29, 2019Updated 6 years ago
Alternatives and similar repositories for Timetabler
Users that are interested in Timetabler are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A genetic algorithm to solve (one of) the timetabling problem☆37Jul 20, 2023Updated 3 years ago
- Resources on the Artifact Evaluation (AE) Process☆17Jan 29, 2021Updated 5 years ago
- ☆10Jul 5, 2016Updated 10 years ago
- ☆15Jan 15, 2019Updated 7 years ago
- A Speculation-Aware Collaborative Dependence Analysis Framework☆28Jun 29, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A monolithic index that supports worst-case optimal joins (WCOJ) by providing all collation orders in a single redundancy eliminating dat…☆18Updated this week
- LaTeX source code for new Networking Textbook☆13Feb 16, 2022Updated 4 years ago
- Fork of Barnes-Hut t-SNE with improved performance and OpenMP parallelization☆17Mar 7, 2017Updated 9 years ago
- A public domain database about trees.☆16Apr 17, 2024Updated 2 years ago
- C implementation of a compressed trie lookup map☆23May 14, 2019Updated 7 years ago
- Code and notebooks from experiments in Numer.ai☆15Mar 15, 2017Updated 9 years ago
- ☆20Oct 1, 2018Updated 7 years ago
- ☆15Jan 19, 2018Updated 8 years ago
- Jupyter server proxy for OpenRefine☆10Oct 18, 2024Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Python library for validating and managing binary array linked data files, e.g. HDF, netCDF.☆12Oct 14, 2022Updated 3 years ago
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆15Aug 8, 2026Updated 3 weeks ago
- SDL (Simple Declarative Language) for java☆13Feb 1, 2026Updated 7 months ago
- Python language parser for a tabular format for structured metadata. http://metatab.org☆18Sep 28, 2023Updated 2 years ago
- Simple Declarative Language (SDL) for Dart☆10Dec 19, 2019Updated 6 years ago
- A specification for a jsonld nodejs stream☆15Oct 13, 2018Updated 7 years ago
- Linked SDMX☆17Oct 26, 2014Updated 11 years ago
- An offline TTS engine for AkulAI and more.☆13Aug 21, 2024Updated 2 years ago
- Global analysis platform for fluorescence data☆12Jul 11, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Rust implementation of Cucumber Expressions.☆13Jun 19, 2026Updated 2 months ago
- Crawled Wikipedia Tables with Passages☆14Aug 19, 2021Updated 5 years ago
- Node RED snappy package☆10Dec 5, 2025Updated 8 months ago
- A rust interface to http://openml.org/☆12Jul 13, 2019Updated 7 years ago
- Wikimedia Commons map georectifier and warper. See wikimaps_new branch.☆11Jul 31, 2026Updated last month
- Data Catalog Project☆11Dec 23, 2024Updated last year
- (MIRROR) Quantumsim, a GPU-accellerated full density matrix simulator of quantum circuits☆32Apr 5, 2023Updated 3 years ago
- A Python 3 compatible fork of https://launchpad.net/pymeta☆18Jan 9, 2019Updated 7 years ago
- The Hoa\Graph library.☆15Apr 29, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Build languages on Python.☆12May 2, 2021Updated 5 years ago
- Craft 3 plugin for respecting Do Not Track headers sent by browsers.☆14May 29, 2018Updated 8 years ago
- RDFpro☆13Feb 4, 2022Updated 4 years ago
- Xayn AI☆18May 9, 2022Updated 4 years ago
- Sketch and LSH Index library for Java, including OPH methods as well as the Lazo method☆17Dec 24, 2023Updated 2 years ago
- MS Marco Entity Annotations Disambiguation☆14May 19, 2023Updated 3 years ago
- Zero-shot entity linking with less data☆15Aug 1, 2022Updated 4 years ago