CU Decision Diagram Package (CUDD, unofficial mirror)
☆18Jul 12, 2012Updated 13 years ago
Alternatives and similar repositories for cudd
Users that are interested in cudd are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- New Cache implementation using Gem5☆13Apr 2, 2014Updated 11 years ago
- Hybrid Memory Cube Simulation & Research Infrastructure☆17Jun 9, 2025Updated 9 months ago
- Code for "On Uncertainty in Deep State Space Models for Model-Based Reinforcement Learning" (TMLR, 2022)☆19Sep 13, 2023Updated 2 years ago
- An infrastructure built using PyGame and OpenAI Gymnasium used to train robots within a social navigation context with a wide range of hu…☆11Sep 10, 2025Updated 6 months ago
- General Modules for JAX☆72Feb 21, 2026Updated last month
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A High-Level DRAM Timing, Power and Area Exploration Tool☆29Jul 29, 2020Updated 5 years ago
- This is a fork of zsim (see https://github.com/s5z/zsim) which integrates the NVMain main memory simulator, adding 3D stacking and non-vo…☆26Jan 15, 2015Updated 11 years ago
- stlcg implemented with jax☆29Updated this week
- The code of paper "Nonlinear Hybrid Planning with Deep Net Learned Transition Models and Mixed-Integer Linear Programming." published on …☆10Apr 27, 2018Updated 7 years ago
- ☆13Jun 7, 2024Updated last year
- PyTorch - Implicit Quantile Networks - Quantile Regression - C51☆22Jul 26, 2019Updated 6 years ago
- A fast and scalable x86-64 multicore simulator☆31Mar 16, 2021Updated 5 years ago
- Code for "Dream and Search to Control: Latent Space Planning for Continuous Control"☆12Jul 12, 2021Updated 4 years ago
- Control Synthesis from Formal Specifications using Reinforcement Learning☆24Aug 15, 2025Updated 7 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Tensor Belief Propagation - algorithm for approximate inference in discrete graphical models☆12Feb 17, 2020Updated 6 years ago
- ☆11Oct 29, 2022Updated 3 years ago
- An Empirical Analysis of Gradient Descent Optimization in Policy Gradient Methods - EWRL Workshop 2018☆15Oct 28, 2018Updated 7 years ago
- Reinforcement Learning☆12Jun 22, 2017Updated 8 years ago
- Integration of the planning system Fast Downward with the unified-planning framework.☆13Aug 5, 2025Updated 7 months ago
- Code for paper Feasible Actor-Critic: Constrained Reinforcement Learning for Ensuring Statewise Safety.☆20May 22, 2022Updated 3 years ago
- Python bindings for OptFrame C++ Functional Core☆13May 18, 2025Updated 10 months ago
- 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…☆20Jul 26, 2021Updated 4 years ago
- This repository contains the open source code used to generate the simulation results shown in the manuscript "Jaeyoung Lee and Richard S…☆12May 21, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆76Feb 16, 2024Updated 2 years ago
- Tensorflow is not only an well designed deep learning toolbox, but also a standard symbolic programming framework. In this repository, we…☆12Oct 15, 2018Updated 7 years ago
- PyTorch implementation of Munchausen Reinforcement Learning based on DQN and SAC. Handles discrete and continuous action spaces☆15Oct 3, 2021Updated 4 years ago
- Probabilistic Graphical Models in JAX☆16Oct 11, 2022Updated 3 years ago
- STRIPS benchmarks for classical planning☆14Mar 29, 2022Updated 3 years ago
- ☆10Apr 24, 2021Updated 4 years ago
- Uncertainty-Aware DRL for Autonomous Vehicle Crowd Navigation in Shared Space (IEEE-IV-2024)☆29Jun 22, 2024Updated last year
- ☆30Aug 13, 2025Updated 7 months ago
- Few-shot Bayesian Imitation Learning with Policies as Logic over Programs☆20Oct 19, 2025Updated 5 months ago
- 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.
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Feb 27, 2017Updated 9 years ago
- Code that translates grammar into PDDL, runs a planner to produce multiple plans, translates plans into trainable lale pipelines and trai…☆18Sep 17, 2025Updated 6 months ago
- Bayes-Adaptive Monte-Carlo Planning algorithm☆17Mar 5, 2013Updated 13 years ago
- ☆18Sep 16, 2022Updated 3 years ago
- (CoRL 2019 Spotlight) Asynchronous Methods for Model-Based Reinforcement Learning☆14Dec 27, 2022Updated 3 years ago
- Tensorflow implementation of the Skipgram model with different scripts to train Portuguese word embeddings.☆18Aug 26, 2017Updated 8 years ago
- AI planning & reasoning library for Rust☆20Nov 17, 2023Updated 2 years ago