Solving Logic Grid Puzzles with Part-of-Speech Tagging and First-Order Logic
☆11Dec 18, 2016Updated 9 years ago
Alternatives and similar repositories for LogicSolver
Users that are interested in LogicSolver are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- zebra4j is a generator and solver library for Zebra puzzles, also knows as "logic grid puzzles".☆16Mar 18, 2026Updated last week
- a website to share and find Age of Empires II Random Map Scripts☆13Nov 12, 2024Updated last year
- Logic grid puzzle ("zebra puzzle") generator and solver☆30Mar 1, 2024Updated 2 years ago
- Age of Empires 2 Lobby Companion☆14Aug 29, 2018Updated 7 years ago
- Implementation of Semi-AE-Rec (ICONIP 2017)☆11Aug 10, 2018Updated 7 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.
- [NeurIPS 2023] Neural Lyapunov Control for Discrete-Time Systems☆14Jul 29, 2024Updated last year
- Quick reachability using zonotopes.☆11May 25, 2020Updated 5 years ago
- This repository collects notebooks for the course☆14Jan 19, 2026Updated 2 months ago
- ☆19Jun 15, 2023Updated 2 years ago
- An inequality benchmark for theorem proving☆22Feb 1, 2026Updated last month
- A simple and clean python library to parse .aoe2records files.☆22Aug 22, 2021Updated 4 years ago
- Age of Empires II statistics website☆24Dec 7, 2022Updated 3 years ago
- The (hopefully) easiest to use animation library for React for interactive applications.☆12Jan 7, 2023Updated 3 years ago
- Library for creating card games in general.☆10Aug 10, 2024Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Solutions to various math textbooks☆19May 11, 2015Updated 10 years ago
- [NeurIPS 2024] Physics-Informed Regularization for Domain-Agnostic Dynamical System Modeling☆26Jul 10, 2025Updated 8 months ago
- Self-updating Node app collecting Congress' daily Twitter output and compiling into publicly accessible form.☆28Oct 18, 2023Updated 2 years ago
- A minimalistic and high-performance SAT solver☆29Feb 6, 2023Updated 3 years ago
- Spatial and Action Based Resolver☆13Jan 18, 2019Updated 7 years ago
- Contains simple MPC implementation with neural network learned dynamics.☆17Feb 16, 2018Updated 8 years ago
- ☆12Jun 14, 2021Updated 4 years ago
- Implementation for ACProp ( Momentum centering and asynchronous update for adaptive gradient methdos, NeurIPS 2021)☆16Oct 11, 2021Updated 4 years ago
- ☆21Jun 14, 2021Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- SKFAC Preconditioner for MindSpore☆12Jul 2, 2021Updated 4 years ago
- Alcazar puzzle solver☆11Mar 31, 2015Updated 10 years ago
- SAT-based generator for Alcazar puzzles☆11Jun 7, 2024Updated last year
- Code for "Pre-training with Contrastive Learning for Unified Log Analytics"☆20Jan 22, 2024Updated 2 years ago
- Unofficial implementation of the Ask-LLM paper 'How to Train Data-Efficient LLMs', arXiv:2402.09668.☆12Jun 19, 2024Updated last year
- Minimal version of a JSCrusher to be used for js#k golf contest.☆21Feb 24, 2014Updated 12 years ago
- Generate crossword puzzles with GPT-3☆12Jan 15, 2024Updated 2 years ago
- Predicting Voobly AOEII 1v1 match outcomes☆33May 1, 2018Updated 7 years ago
- mailwizz-python-sdk☆11Apr 18, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A marbleous project☆18Apr 28, 2023Updated 2 years ago
- ☆12Oct 23, 2018Updated 7 years ago
- Conformal Decision Theory code☆28Oct 9, 2023Updated 2 years ago
- A word puzzle solver for Wordle, Boggle, WordzUp, wordoid and more.☆12May 29, 2022Updated 3 years ago
- AI Agent leveraging symbolic reasoning and other auxiliary tools to boost its capabilities on various logic and reasoning benchmarks. Thi…☆41Aug 12, 2025Updated 7 months ago
- Automated Robust Co-design for Cyberphysical Systems☆31Dec 17, 2022Updated 3 years ago
- Generalized Method of Moments estimation☆13Mar 23, 2025Updated last year