A basic SAT solver implementation for the Logics in Informatics course
☆10Mar 8, 2015Updated 11 years ago
Alternatives and similar repositories for li-sat-solver
Users that are interested in li-sat-solver 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 simple SAT solver that implements the DPLL algorithm with unit resolution☆47Sep 10, 2019Updated 7 years ago
- 西北工业大学计算机组成原理实验源码☆10Sep 20, 2024Updated 2 years ago
- Major project - kannada LLM for farmers☆12May 20, 2024Updated 2 years ago
- Code for: Algorithm-hardware co-design of neuromorphic networks with dual memory pathways☆17Sep 18, 2026Updated last month
- iEDA water-drop training initiative☆14Sep 10, 2024Updated 2 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.
- GOMIL: Global Optimization of Multiplier by Integer Linear Programming☆13Aug 25, 2021Updated 5 years ago
- In this tutorial, you learn how to implement a design from RTL-to-GDSII using Synopsys tools.☆16Jun 28, 2025Updated last year
- Example of a full DC synthesis script for a simple design☆14Feb 25, 2019Updated 7 years ago
- Here are some implementations of basic hardware units in RTL language (verilog for now), which can be used for area/power evaluation and …☆16Aug 25, 2023Updated 3 years ago
- ☆15Jul 7, 2020Updated 6 years ago
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- Hadamard-Preconditioned Adaptive Rotation Processor for Extreme LLM Quantization (EMNLP 2026)☆25Oct 14, 2026Updated 2 weeks ago
- Innovus backend scripts☆20Jun 20, 2022Updated 4 years ago
- ☆11Jul 4, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆19Nov 11, 2024Updated last year
- RTL to GDS via Cadence Tools☆20May 17, 2022Updated 4 years ago
- RTL Synthesis for Fast Arithmetic circuits like Booth encoded Multipliers, Carry Save Adders, Fixed-Point and Floating-Point conversions,…☆22Nov 26, 2018Updated 7 years ago
- A simple SAT solver based on the CDCL algorithm☆20Sep 10, 2019Updated 7 years ago
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆13Oct 31, 2025Updated last year
- High Performance Int8 GEMM Kernels for SM80 and later GPUs.☆24Mar 11, 2025Updated last year
- [ICCV 2021] Code release for "Sub-bit Neural Networks: Learning to Compress and Accelerate Binary Neural Networks"☆34Jul 24, 2022Updated 4 years ago
- cadence flow for genus and innovus with UPF added.☆18Jul 3, 2021Updated 5 years ago
- This project contains code for the paper titled "SpikingBERT: Distilling BERT to Train Spiking Language Models Using Implicit Differentia…☆29Feb 21, 2024Updated 2 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.
- An other toy compiler in Ocaml, made with Menhir and Ocamlex for 3I018 compilation course at university☆10Oct 9, 2018Updated 8 years ago
- ☆29Aug 18, 2019Updated 7 years ago
- 大三上做的本科毕设，包含BNN的替代梯度训练，verilog电路实现，完成180nm工艺流片。☆29Jun 30, 2025Updated last year
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- Offical implementation of "Efficient 3D Recognition with Event-driven Spike Sparse Convolution" (AAAI2025)☆29Jul 7, 2025Updated last year
- This repository presents ASIC design flow for UART utilizing RTL to GDS implementation This has been simulated on VCS and has been impl…☆34Apr 29, 2024Updated 2 years ago
- RISCV Core written in Calyx☆17Aug 16, 2024Updated 2 years ago
- LaTeX Lint for Academic Writing☆12Jun 6, 2019Updated 7 years ago
- [DEPRECATED (use avro-simple)] Runtime library and schema compiler for the Avro serialization format.☆21Jul 7, 2026Updated 3 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.
- My configuration files☆18Apr 14, 2026Updated 6 months ago
- [Neural Networks] SpikeBERT: A Language Spikformer Learned from BERT with Knowledge Distillation☆32Apr 11, 2025Updated last year
- The DRAT-trim proof checker☆73Nov 25, 2024Updated last year
- Experiment egg for taichi☆11Dec 29, 2022Updated 3 years ago
- ☆103Jun 26, 2019Updated 7 years ago
- A parser and AST for Lustre☆12Jul 6, 2026Updated 3 months ago
- Materials for the Computer Science course, Digital Design (Logic Circuits)☆10Apr 25, 2022Updated 4 years ago