A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
☆41Sep 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
Sorting:
- ☆15Jan 15, 2019Updated 7 years ago
- Data source of the Energy Transition Model☆18Updated this week
- Global analysis platform for fluorescence data☆12Jan 6, 2026Updated last month
- Functional composable pipelines allowing clean separation of the business logic and its implementation☆11Sep 6, 2025Updated 5 months ago
- Transform Oracle PL/SQL Code to Python☆11Oct 26, 2013Updated 12 years ago
- ☆10Oct 31, 2019Updated 6 years ago
- Quantum Simulator in Scala☆12Feb 28, 2025Updated last year
- Translate a subset of C to Verilog☆12May 8, 2019Updated 6 years ago
- Sample implementation accompanying the NeurIPS 2019 paper 'Powerset Convolutional Neural Networks' by Chris Wendler, Dan Alistarh, and Ma…☆10Oct 26, 2020Updated 5 years ago
- MS Marco Entity Annotations Disambiguation☆13May 19, 2023Updated 2 years ago
- Solver in the low-rank tensor train format with cross approximation approach for the multidimensional Fokker-Planck equation☆14Oct 24, 2023Updated 2 years ago
- A rust interface to http://openml.org/☆12Jul 13, 2019Updated 6 years ago
- An offline TTS engine for AkulAI and more.☆13Aug 21, 2024Updated last year
- An excellent developer tool for excellent developers☆13Feb 8, 2026Updated 3 weeks ago
- Rust SDK for Rigetti Quantum Cloud Services (QCS)☆14Updated this week
- A python package to compute zero-field-splitting tensors for molecules and spin quantum bits in semiconductors.☆14Mar 30, 2020Updated 5 years ago
- Simple Declarative Language (SDL) for Dart☆10Dec 19, 2019Updated 6 years ago
- Modular, cohesive, transparent and fast web server template☆21Apr 23, 2021Updated 4 years ago
- Quacee quantum computing language☆11Mar 16, 2017Updated 8 years ago
- Official code for AAAI'20 paper "Merging Weak and Active Supervision for Semantic Parsing"☆11Dec 8, 2022Updated 3 years ago
- Opsgenie Cloudformation Registry Resources☆10Jun 27, 2023Updated 2 years ago
- Python library for BER-TLV en-/decoding☆11Mar 13, 2023Updated 2 years ago
- ☆11Dec 31, 2019Updated 6 years ago
- Node RED snappy package☆10Dec 5, 2025Updated 2 months ago
- Test and benchmark your Rust library on mobile devices with ease.☆13Jul 17, 2023Updated 2 years ago
- A monolithic index that supports worst-case optimal joins (WCOJ) by providing all collation orders in a single redundancy eliminating dat…☆16Sep 18, 2025Updated 5 months ago
- Rust implementation of Cucumber Expressions.☆12Jan 23, 2026Updated last month
- CRUD Generator for PlayFramework 2 (2.5.x)/Slick(3.1.x)/Scala☆25Apr 3, 2016Updated 9 years ago
- Visual graph rewriting platform☆10Jun 3, 2025Updated 9 months ago
- Generate PlantUML Sequence diagrams based on a Callgrind file☆14Jun 20, 2018Updated 7 years ago
- "mmult" example using SDSoC for PYNQ board☆11Feb 23, 2017Updated 9 years ago
- Open Science AI Tools for Systematic, Protocol-Based Literature Reviews☆16Feb 13, 2026Updated 2 weeks ago
- Import a classic HyperCard stack and export HTML or JSON☆14Jan 1, 2023Updated 3 years ago
- Build languages on Python.☆12May 2, 2021Updated 4 years ago
- Code for implementing the quantum log-likelihood using PennyLane and TensorFlow.☆11Dec 10, 2019Updated 6 years ago
- A Python 3 compatible fork of https://launchpad.net/pymeta☆18Jan 9, 2019Updated 7 years ago
- Python parser for UCUM (Unified Code for Units of Measure) incl. converter to pint units☆14Updated this week
- A lightweight module which finds the difference between two dates in the human-friendly format.☆13May 10, 2019Updated 6 years ago
- Getting started with PyQuil: Quantum dice example☆14Jul 10, 2018Updated 7 years ago