jianxcao / caddy-115-302
☆34Updated last week
Related projects ⓘ
Alternatives and complementary repositories for caddy-115-302
- NAS媒体库自动化管理工具☆325Updated this week
- A collection of tools for generating, manipulating and - most of all - solving parity games.☆34Updated 3 months ago
- GitHub Search: Platform used to crawl, store and present projects from GitHub, as well as any statistics related to them☆144Updated this week
- Prolog is suitable enviroment for writting planners. However there is no way how to work with PDDL files so far. In this library we provi…☆17Updated 3 years ago
- Project template and specification for the Software Design course at the Vrije Universiteit Amsterdam☆7Updated 9 months ago
- Formal Language Tools for Robots☆13Updated 8 years ago
- LTL2PDDL tool☆10Updated 7 years ago
- CHR: Leuven Constraint Handling Rules☆24Updated this week
- Embeddable Common-Lisp C-Interop Demo☆14Updated 2 years ago
- Your AI-Powered Personal Finance Assistant☆10Updated 6 months ago
- Base Variability Resolution (BVR) metamodel, engine and editors☆11Updated 6 years ago
- SMD: Software Metric tool for Defect prediction☆9Updated 5 years ago
- NASA Cleaned Defect Datasets☆56Updated 8 years ago
- Discuss future development☆21Updated 9 years ago
- DLVHEX solver: core system and plugin API☆24Updated 5 years ago
- ☆10Updated 2 months ago
- This is a Java project serving as a brief demonstration for Unit Testing and Continuous Integration services☆11Updated 3 years ago
- Automated Programming Framework☆14Updated 4 years ago
- SNARK - SRI's New Automated Reasoning Kit☆19Updated 8 years ago
- SLIME Cloud: A Free Massive World Class High Performance SAT Solver, Winner of Crypto Track and 3rd place on Cloud Track at the SAT Compe…☆6Updated last year
- Closette - a toy Common Lisp Object System (CLOS) described in The Art of the Metaobject Protocol (AMOP)☆10Updated 8 years ago
- d4 Model Counter☆14Updated last year
- LaMa, short for Labelling Machine, is an web application developed for aiding in thematic analysis of qualitative data.☆14Updated last year
- Examples and case-study that use OSATE☆56Updated 3 years ago
- ☆20Updated 3 weeks ago
- Common Interface to Boolean Satisfiability Solvers from Common Lisp☆14Updated 2 years ago
- TPTP python library and benchmarking service☆11Updated 5 years ago
- Top-down interpreter for ASP programs with Constraints☆24Updated this week
- A Python script to create cactus and scatter plots based on matplotlib☆23Updated 3 years ago
- A python tool for solving reachability/safety, parity, weak parity and generalized parity games☆12Updated 6 years ago