SAT-based solver for the Hexiom logic puzzle
☆34Feb 20, 2012Updated 14 years ago
Alternatives and similar repositories for hexiom
Users that are interested in hexiom are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Quicksilver - a library of approximate algorithms and sketches for Rust☆17Sep 20, 2014Updated 12 years ago
- Symbolic logic expressions☆16Jul 1, 2020Updated 6 years ago
- A Framework for writing MVC web applications in c++ using Lua for page templating.☆27Jul 25, 2012Updated 14 years ago
- DebugIt: Use specialization so you can debug-print a value without explicit (and viral) Debug trait bound. (Not really maintained. Uses …☆10Nov 27, 2021Updated 4 years ago
- Need to backup your MogileFS? mogbak is here to help. Backup is made to a self contained directory with metadata. Restores are easy to…☆28May 16, 2019Updated 7 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.
- Attempting a Go port of Underscore.js☆11Jul 21, 2014Updated 12 years ago
- A miniKanren implementation in Rust☆37Mar 8, 2016Updated 10 years ago
- Source for the Chrome Extension of the same name☆21Oct 12, 2016Updated 10 years ago
- A textual language for binary data.☆37Jun 13, 2022Updated 4 years ago
- Flexible and generic plugin to hook onto sublime's file state events☆20Jul 14, 2012Updated 14 years ago
- Rust-nlp is a library to use Natural Language Processing algorithm with RUST☆44Jun 18, 2019Updated 7 years ago
- The Stochastic Local Search SAT Solver from UBC☆33Apr 10, 2022Updated 4 years ago
- THIS VERSION IS VERY OLD, NO LONGER IN THE APP STORE. MIGHT UPDATE IT SOMETIME IN THE FUTURE. LEFT FOR LEARNING/SHARING PURPOSES. The ori…☆18Aug 18, 2014Updated 12 years ago
- Python OAuth Library☆17May 22, 2013Updated 13 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 Leiningen plugin for TeamCity☆13Jun 16, 2014Updated 12 years ago
- a C++ library implementing permutation group algorithms☆13Sep 8, 2021Updated 5 years ago
- A community-driven Solr stopwords collection☆21Jun 1, 2011Updated 15 years ago
- Tuffy, a Markov Logic Network solver☆26Nov 21, 2014Updated 11 years ago
- ☆13Jul 19, 2023Updated 3 years ago
- multi-master-paxos with 3 nodes☆14Apr 11, 2022Updated 4 years ago
- An example Noir website☆13Oct 26, 2011Updated 15 years ago
- onnxruntime C Api wrapped for nim☆16Mar 5, 2021Updated 5 years ago
- github.com/cznic/bufs has moved to modernc.org/bufs☆10Nov 22, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Experimental support for coroutines-based generators in Ada☆13Nov 5, 2022Updated 4 years ago
- Git Archive Daemon (mirror of https://gitorious.org/gitorious/git-archive-daemon)☆13Nov 18, 2014Updated 11 years ago
- Simple shell script to print out todo statements from files.☆13Aug 4, 2011Updated 15 years ago
- Utility for creating and managing chrooted environments☆32Aug 3, 2012Updated 14 years ago
- Physically simulated pool game☆23May 2, 2026Updated 6 months ago
- A minesweeper clone written in Elm☆19Jul 11, 2016Updated 10 years ago
- ☆18Oct 11, 2026Updated 3 weeks ago
- Bitarray implementation in Nim☆10Dec 14, 2020Updated 5 years ago
- Open source numerical solver for computational mechanics problems☆18Jul 10, 2019Updated 7 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.
- Games Sandbox☆11Feb 20, 2015Updated 11 years ago
- A datalog prover and interpreter in Go.☆37Jan 11, 2016Updated 10 years ago
- Variable length arrays for Nim☆17May 16, 2021Updated 5 years ago
- static analysis of free monads☆24Jul 10, 2018Updated 8 years ago
- jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…☆29Updated this week
- Useful synchronization primitives.☆21Feb 20, 2026Updated 8 months ago
- Clojure Transit Tracker☆20Aug 5, 2022Updated 4 years ago