A Constraint Satisfaction Solver (CSP) using Backtracking and Forward Checking
☆23May 30, 2011Updated 15 years ago
Alternatives and similar repositories for cse473-ai-csp
Users that are interested in cse473-ai-csp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The General Mediation Engine (GME) is a software framework for producing interactive narratives using narrative mediation.☆10Feb 4, 2018Updated 8 years ago
- Cartographic views of software, an Eclipse plug-in.☆21Feb 22, 2013Updated 13 years ago
- A Golang implementation of the AES-FFX Format-Preserving Encryption Scheme☆10Mar 14, 2015Updated 11 years ago
- Demo for Plan Recognition as Planning over Classical Action Theories☆12Dec 29, 2016Updated 9 years ago
- Data-Driven Generative Art using processing.py☆11Mar 2, 2017Updated 9 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- SMVs: Enforcing Least Privilege Memory Views for Multithreaded Applications☆13Jul 7, 2022Updated 3 years ago
- Fortanix Baklava Design System☆18Jun 11, 2026Updated last week
- Hadoop Ecosystem Builder: Build, package, test and deploy your Hadoop ecosystem project.☆29Sep 23, 2015Updated 10 years ago
- Ruby implementation of Boldyreva's order-preserving encryption scheme☆13May 13, 2025Updated last year
- Visualize (.avdl and .proto format) schema files as a UML diagram using Graphviz☆30May 30, 2018Updated 8 years ago
- Domain and problem PDDL parser in C/C++ using Flex & Bison.☆16Jun 18, 2019Updated 7 years ago
- Port of TPC-DS data generator to Java☆13Aug 1, 2017Updated 8 years ago
- Implicit metaprogramming tutorial for Scala☆15Jan 20, 2015Updated 11 years ago
- A collection of homework assignments, readings, and discussion summaries for Humanities CS1 @ RPI, a class focused on synthesizing progra…☆13Apr 25, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆11Feb 29, 2016Updated 10 years ago
- Summation of 2 + 3 using Fully Homomorphic Encryption (HElib)☆11Jun 17, 2016Updated 10 years ago
- Library for modelling Rust applications with actors☆20Nov 24, 2025Updated 6 months ago
- Nothing to see here yet ...☆13Jun 28, 2025Updated 11 months ago
- Crabs is a SQL-like JDBC driver and command line for elastic search. With it you may use elasticsearch as simply as using SQL with tradit…☆25Dec 17, 2014Updated 11 years ago
- Source code for TPCx-BB benchmark for Hive and SparkSQL on scale factor of 300 GB☆10Jun 26, 2018Updated 7 years ago
- Contiki, the open source OS for the Internet of Things☆12Sep 18, 2020Updated 5 years ago
- Run foreman Procfiles with Rust☆22Sep 19, 2022Updated 3 years ago
- An app built on Cloudera Enterprise for tracking metrics of jobs that run in YARN framework☆13Feb 5, 2016Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Rust language IPFS API implementation☆20Sep 17, 2017Updated 8 years ago
- Remote attestation framework for Fortanix EDP☆22Jan 11, 2021Updated 5 years ago
- Symmetric Partial Homomorphic Encryption☆15Oct 13, 2020Updated 5 years ago
- Cloudera Storm Parcel and CSD to install and manage a Storm cluster using Cloudera Manager UI☆12Mar 9, 2016Updated 10 years ago
- Cloudera Manager parcel and CSD to manage Cassandra NoSQL database☆14Nov 16, 2016Updated 9 years ago
- Umbilicus: Ascension - a 4-player cooperative platformer where only 1 player can win.☆17Nov 15, 2016Updated 9 years ago
- Some example code for Kafka 0.8.2☆11Feb 27, 2015Updated 11 years ago
- A constant-time library for big integers modulo a prime, usable for cryptographic applications. Exported from crypto/internal/bigmod, the…☆16Jan 3, 2026Updated 5 months ago
- Kiji Shopping☆37Oct 17, 2013Updated 12 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 simple text planner for use in Unity games☆27May 7, 2026Updated last month
- Talos: Encrypted Query Processing for the Internet of Things (Source code of our paper at ACM SenSys 2015)☆14Aug 1, 2016Updated 9 years ago
- Key recovery attacks against the CKKS homomorphic approximate encryption scheme☆17Mar 2, 2021Updated 5 years ago
- Extension for the .NET Framework cryptography subsystem, which introduces the ElGamal public key cryptosystem with support for homomorphi…☆16Sep 3, 2024Updated last year
- Demonstrating Go parallelism with pitfalls through Monte Carlo simulations.☆15Feb 9, 2015Updated 11 years ago
- Very simple noSQL database, created as an example during a talk. See FineDB for a real high-performance noSQL database.☆14Sep 29, 2013Updated 12 years ago
- GitHub webhook HTTP Handler in Go (Golang)☆11Jun 10, 2026Updated last week