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:
- Angular 4 with angular material boilerplate for ParsePlatform☆12Sep 7, 2017Updated 8 years ago
- Deprecated Repository☆12Jan 18, 2019Updated 7 years ago
- It is the Tangram application that I created using flutter.☆14May 21, 2021Updated 5 years ago
- SMVs: Enforcing Least Privilege Memory Views for Multithreaded Applications☆13Jul 7, 2022Updated 4 years ago
- Fortanix Baklava Design System☆18Updated this week
- 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.
- 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
- 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
- Spatial computation☆21Oct 13, 2021Updated 4 years ago
- ☆11Feb 29, 2016Updated 10 years ago
- TPC-DS benchmarks including data generation with Spark and queries with Spark☆15May 8, 2017Updated 9 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 7 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A unified platform for theoretical and computational chemists☆18Feb 7, 2026Updated 5 months ago
- Fetch Metadata server security middleware for Go☆11Oct 16, 2019Updated 6 years ago
- Machine Learning applied to Cosmological Simulations☆15Sep 15, 2016Updated 9 years ago
- Source code for TPCx-BB benchmark for Hive and SparkSQL on scale factor of 300 GB☆10Jun 26, 2018Updated 8 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
- Rust language IPFS API implementation☆20Sep 17, 2017Updated 8 years ago
- Visual Studio plugin for Pony☆12Dec 14, 2015Updated 10 years ago
- Remote attestation framework for Fortanix EDP☆22Jan 11, 2021Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 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
- Some example code for Kafka 0.8.2☆11Feb 27, 2015Updated 11 years ago
- Generative AI web UI and server☆22May 23, 2023Updated 3 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 6 months ago
- Ambari stack service for easily installing and managing Solr on HDP cluster☆18Nov 13, 2018Updated 7 years ago
- Kiji Shopping☆37Oct 17, 2013Updated 12 years ago
- Talos: Encrypted Query Processing for the Internet of Things (Source code of our paper at ACM SenSys 2015)☆14Aug 1, 2016Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A collection of algorithm implementations☆20Sep 16, 2025Updated 9 months ago
- Drop in replacement for https://golang.org/pkg/text/tabwriter with additional features☆15Jan 3, 2024Updated 2 years ago
- Key recovery attacks against the CKKS homomorphic approximate encryption scheme☆17Mar 2, 2021Updated 5 years ago
- Minimal package for just the HTTPS cert fetching part of the Tailscale client API☆31Dec 16, 2025Updated 6 months ago
- GitHub webhook HTTP Handler in Go (Golang)☆11Jul 2, 2026Updated last week
- hs-blastn, a fast and accurate nucleotide-nucleotide sequences aligner.☆27Aug 12, 2020Updated 5 years ago
- GA Grid (Beta) is a distributive in memory Genetic Algorithm (GA) component for Apache Ignite. A GA is a method of solving complex optimi…☆11Nov 14, 2017Updated 8 years ago