Weighted Model Counting on Pseudo-Boolean Constraints.
☆11Mar 3, 2025Updated last year
Alternatives and similar repositories for PBCounter
Users that are interested in PBCounter are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A toolbox for knowledge compilation☆29Nov 25, 2025Updated 11 months ago
- CNF preprocessor and functional synthesis tool☆28Oct 25, 2026Updated last week
- CMSGen, a fast weighted uniform-like sampler☆12Nov 26, 2025Updated 11 months ago
- ☆49Apr 10, 2024Updated 2 years ago
- PolyLib official git.☆15Sep 23, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A Simple CDCL Solver☆37Mar 8, 2023Updated 3 years ago
- Tool to perform various types of inference in probabilistic answer set programs under the credal semantics and with statistical statement…☆11Sep 28, 2026Updated last month
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆15Oct 26, 2026Updated last week
- HTML5/CSS3 template to be used for print/paged media☆11Feb 2, 2014Updated 12 years ago
- A MIPS CPU with dual-issue, out-of-order, and 5-stage pipelines☆11Nov 28, 2019Updated 6 years ago
- Intro to deep learning workshop.☆11May 26, 2018Updated 8 years ago
- Build up a hybrid recommender system based on MovieLens database using content-based filtering and collaborative filtering algorithms☆17Mar 25, 2020Updated 6 years ago
- This repository contains the dataset and the source code for the detection of visual relationships with the Logic Tensor Networks framewo…☆28Dec 16, 2022Updated 3 years ago
- Bit-bLAsting solving Non-linear integer constraints.☆22Jul 3, 2025Updated 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.
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Feb 27, 2017Updated 9 years ago
- Disentangled Representation Learning for Recommendation, TPAMI 2022☆11Oct 11, 2024Updated 2 years ago
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)☆26Dec 6, 2022Updated 3 years ago
- An SMT Solver☆29Updated this week
- DeepLog: the PyTorch for neurosymbolic AI☆25Updated this week
- A Reinforcement Learning Friendly Simulator for Multiple Mobile Robot☆19Feb 28, 2025Updated last year
- Benchmarking Suite for BDD packages☆26Mar 21, 2026Updated 7 months ago
- PolytopeWalk: fast sparse and dense random walks on polytope, with C++ backend and Python interface☆18Aug 29, 2026Updated 2 months ago
- d4 Model Counter☆22May 17, 2023Updated 3 years 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 Benchmark for Machine Learning from Structured Data☆23Nov 2, 2021Updated 5 years ago
- KLEE with floating point support (unmaintained)☆21Feb 15, 2022Updated 4 years ago
- 推荐系统算法-矩阵分解（MF）——FunkSVD☆15Feb 11, 2021Updated 5 years ago
- SMT solver for the theory of floating-point arithmetic☆27Jan 30, 2018Updated 8 years ago
- Programming in Tabled Prolog by David S Warren☆25Mar 11, 2020Updated 6 years ago
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆33Dec 4, 2023Updated 2 years ago
- An I/O-efficient implementation of (Binary) Decision Diagrams☆34Sep 1, 2026Updated 2 months ago
- java编写的皇室战争demo☆15Sep 18, 2016Updated 10 years ago
- List of Treewidth solvers, instances, and tools☆41Sep 21, 2022Updated 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. Zero configuration with optimized deployments.
- KLEEF Symbolic Execution Engine☆25Apr 18, 2026Updated 6 months ago
- Personalized Medicine: Redefining Cancer Treatment with deep learning☆24Nov 22, 2017Updated 8 years ago
- ☆33Sep 1, 2026Updated 2 months ago
- A Fast Floating-Point Satisfiability Solver☆31Jul 26, 2025Updated last year
- 基于龙芯 OpenMIPS 实现一个具有 89 条指令的五级流水 CPU，使用 Verilog 语言，使用哈佛结构，包括逻辑移位指令、乘除法指令、加载存储指令、转移指令、协处理器访问指令以及异常相关在内的共89条指令。能够处理数据相关，包含流水线暂停以及延迟槽☆20Mar 8, 2020Updated 6 years ago
- A Flexible and Efficient Proof Checker for SMT Solvers☆36Updated this week
- High-performance model counter☆66Oct 25, 2026Updated last week