Propositional Encodings in C++11
☆18Sep 6, 2018Updated 7 years ago
Alternatives and similar repositories for cppsat
Users that are interested in cppsat are comparing it to the libraries listed below
Sorting:
- Linux kernel Transport Layer Security module☆25Apr 26, 2016Updated 9 years ago
- ☆16Sep 22, 2014Updated 11 years ago
- A library for Rapid {C|Concurrency|Correct} Development☆34Oct 3, 2015Updated 10 years ago
- Serverless python template for microservice architecture☆11Aug 17, 2024Updated last year
- 📄Source code variable naming using a seq2seq architecture☆10Mar 19, 2020Updated 5 years ago
- extendable field for use in Django Models☆29May 7, 2023Updated 2 years ago
- Custom roster formatter tool for Warhammer 40000 games: https://40001format.xyz☆10Feb 5, 2025Updated last year
- Modular pipeline based on the KernelCI API☆11Updated this week
- RHEL for Edge Downstream CI and Test☆11Updated this week
- libRunTimeStruct: Create C structs at runtime☆13Dec 8, 2015Updated 10 years ago
- ☆12Jul 10, 2023Updated 2 years ago
- A library for Study Group 14 of Working Group 21 (C++)☆34Oct 2, 2017Updated 8 years ago
- A graph based REPL that saves to and loads from disk☆44Jun 13, 2015Updated 10 years ago
- Microbenchmarks for Aarch64 (Cortex A53)☆12Apr 19, 2023Updated 2 years ago
- Functional Utilities for C++☆41Mar 16, 2015Updated 10 years ago
- ETL e visualização do Censo escolar☆10May 3, 2023Updated 2 years ago
- LINQ for C++11 done right☆15Feb 18, 2016Updated 10 years ago
- Git Archive Daemon (mirror of https://gitorious.org/gitorious/git-archive-daemon)☆13Nov 18, 2014Updated 11 years ago
- Kuiper test and other tools from circular statistics☆14May 6, 2015Updated 10 years ago
- Concurrent hash tries for C++ 14 with no memory management whatsoever.☆10Aug 30, 2016Updated 9 years ago
- Ansible role that provides a module for managing MongoDB Replica Sets☆11Sep 23, 2016Updated 9 years ago
- A monolithic index that supports worst-case optimal joins (WCOJ) by providing all collation orders in a single redundancy eliminating dat…☆16Sep 18, 2025Updated 5 months ago
- The Dining Philosophers problem, in Rust☆28Jan 8, 2019Updated 7 years ago
- dockerized smee: https://smee.io/☆10Jul 1, 2024Updated last year
- An improved version of `w`☆14Mar 16, 2017Updated 8 years ago
- A gulp plugin that makes it easy to replace latex equations in a markdown file with rendered images☆11Jul 24, 2015Updated 10 years ago
- Shalmaneser is a Shallow Semantic Parser.☆11Nov 14, 2016Updated 9 years ago
- A series of questions designed to help an engineering manager assess a team.☆11Feb 16, 2021Updated 5 years ago
- Library integrating fauxfactory into pytest namespace and maybe even more.☆11Jan 27, 2018Updated 8 years ago
- A Haskell library implementing several Paxos-related algorithms☆25Dec 13, 2012Updated 13 years ago
- Simple password db☆23Nov 23, 2018Updated 7 years ago
- miscellaneous gevent utilities☆21Apr 20, 2011Updated 14 years ago
- Go packages providing ways to parse, replay, and extract information from various attestation-related event logs☆16Aug 20, 2025Updated 6 months ago
- Toy Hadoop cluster combining various SQL-on-Hadoop variants☆13Nov 16, 2017Updated 8 years ago
- A simple stateful operator for managing creation, backup, and restore of PostgreSQL clusters.☆13Apr 10, 2019Updated 6 years ago
- Streaming TopK estimates☆13Sep 25, 2025Updated 5 months ago
- i2p c++ implementation☆19Feb 21, 2015Updated 11 years ago
- Mutt patch management macros☆11Sep 12, 2023Updated 2 years ago
- Open Source bits of the core utilities used in PyVmMonitor (http://www.pyvmmonitor.com/)☆12Aug 26, 2024Updated last year