Propositional Encodings in C++11
☆18Sep 6, 2018Updated 8 years ago
Alternatives and similar repositories for cppsat
Users that are interested in cppsat are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Go (golang) bindings for Picosat, the satisfiability solver☆16Feb 18, 2018Updated 8 years ago
- An Emacs major mode to edit and run SMTLIB v2 files☆10Nov 14, 2015Updated 10 years ago
- Major mode for editing and executing AppleScript code☆13Mar 6, 2021Updated 5 years ago
- ☆15Oct 23, 2013Updated 13 years ago
- A simple and lightweight tree container (C++03)☆17Oct 25, 2015Updated 11 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- [Inactive] Public domain implementations of core RFC specifications for C++14.☆12Mar 9, 2015Updated 11 years ago
- Functional Utilities for C++☆41Mar 16, 2015Updated 11 years ago
- Tool for modifying frotz sources to compile under TOPS-20☆12Feb 7, 2020Updated 6 years ago
- JSON in C++ the way it should be☆45Jul 17, 2020Updated 6 years ago
- Simple variable-length encoder/decoder (C99)(C++03)☆18Jun 24, 2016Updated 10 years ago
- ☆14May 21, 2024Updated 2 years ago
- Rust docset generator for Dash☆12Aug 22, 2016Updated 10 years ago
- Non-blocking message passing (a C++14 MPI wrapper)☆18Sep 19, 2014Updated 12 years ago
- C#/Rust/Python style formatting in C++.☆11Oct 23, 2018Updated 8 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.
- A collection of code for displaying Force.com data using ExtJS widgets in Visualforce pages☆14Sep 1, 2013Updated 13 years ago
- Communication Free Learning (i.e. constraint solving) implementation in Haskell☆18Aug 30, 2015Updated 11 years ago
- Update PowerDNS from DHCP leases and libvirt virtual machines☆13Nov 2, 2012Updated 13 years ago
- [iOS] File system viewer for debugging purposes☆13May 11, 2016Updated 10 years ago
- A library for Study Group 14 of Working Group 21 (C++)☆34Oct 2, 2017Updated 9 years ago
- A lightweight C++ library to diff and patch arbitrary data☆20May 10, 2015Updated 11 years ago
- A C++11 character encoding and code point enumeration library based on range-v3☆20May 20, 2018Updated 8 years ago
- CMS Security Track Record (2010 & 2011)☆10Mar 10, 2012Updated 14 years ago
- C++ exception class and macros with easy nested declaration and localisation data☆11Mar 28, 2026Updated 7 months ago
- 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.
- fpga.el - FPGA & ASIC Utils for Emacs☆22Sep 15, 2026Updated last month
- ✂️ Shakes out any unused functions from your GLSL shaders☆13Jun 30, 2016Updated 10 years ago
- An interactive development environment for SMT-LIB files and Z3☆24Aug 16, 2022Updated 4 years ago
- System configuration and utilities for Linux ⚙☆12Oct 1, 2026Updated 3 weeks ago
- Simple boost asio based sync and async http client and http and https server☆19Apr 22, 2013Updated 13 years ago
- Bourne is a lightweight JSON de/serializer (C++11).☆22Jun 1, 2015Updated 11 years ago
- A monadic IO interface in Rust☆78Feb 21, 2016Updated 10 years ago
- Slides for my talks at various meetups.☆23Sep 15, 2025Updated last year
- ☆12Feb 23, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- bridge.js (or v8bridge) is a header-only library used to provide bindings between C++ and JavaScript (v8 engine).☆17Apr 16, 2014Updated 12 years ago
- A C++ library that allows you to plot data just as in MATLAB☆24Jul 3, 2014Updated 12 years ago
- A lightweight LRU cache structure for list<T> and map<K,V> containers. Written in C++11☆27May 10, 2015Updated 11 years ago
- Fast Double Metaphone in C++11☆21Aug 26, 2014Updated 12 years ago
- A general purpose node system for LÖVE games.☆10Feb 27, 2017Updated 9 years ago
- [Inactive] Public domain C++14 wrapper for POSIX interfaces.☆26Jul 19, 2015Updated 11 years ago
- Framework agnostic user management system for Python applications.☆19Oct 12, 2026Updated 2 weeks ago