A simple sudoku solver written in SWI-Prolog
☆16Jun 2, 2012Updated 14 years ago
Alternatives and similar repositories for prolog-sudoku
Users that are interested in prolog-sudoku are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This source code provides example for HTML.☆19May 28, 2017Updated 9 years ago
- ☆14Dec 17, 2022Updated 3 years ago
- Ulrich Newmerkel's library for reified if, as a prolog pack☆11Aug 11, 2020Updated 6 years ago
- A ruby-like mixin in Object-C.☆11Jul 2, 2015Updated 11 years ago
- Projekt för DCAT-AP-SE.☆16Dec 9, 2024Updated last year
- 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.
- A (work in progress) MIDI framework for Swift☆13Jun 18, 2015Updated 11 years ago
- Boolean Constraint Solving in Prolog☆48Dec 8, 2024Updated last year
- Advanced support for working with RDF in Prolog.☆20Aug 31, 2024Updated 2 years ago
- Miscellaneous projects, too small to warrant their own github projects, in their own subdirectories here.☆14Aug 15, 2020Updated 6 years ago
- Patricia/Radix trees for Swift☆17Apr 13, 2015Updated 11 years ago
- Contributions to BinProlog. See https://code.google.com/p/binprolog/☆10Aug 16, 2013Updated 13 years ago
- Regular expressions for Prolog☆17Jul 6, 2017Updated 9 years ago
- This is a static library to encode objects to JSON, and decode them back.☆45Mar 29, 2014Updated 12 years ago
- Answers to your questions about Perl 7☆19Jul 13, 2020Updated 6 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.
- Add a parallax top view to any UIScrollView (incl. UITableViews) — just from InterfaceBuilder. #Parallax #ScrollView #TableView #Header☆21Mar 2, 2018Updated 8 years ago
- Windows Application Launcher☆12Mar 10, 2024Updated 2 years ago
- TEI to RDF translation and persistence☆15Mar 1, 2013Updated 13 years ago
- Programming challenges☆11Nov 21, 2018Updated 7 years ago
- Random ideas about libraries for Prolog☆12Nov 2, 2016Updated 9 years ago
- Prolog Technology Theorem Prover☆14Jun 19, 2024Updated 2 years ago
- Repository for the Advanced JavaScript course☆11Mar 17, 2015Updated 11 years ago
- An embedding of miniKanren in Shen.☆25Jun 6, 2015Updated 11 years ago
- Write Graphviz dot files for archaeological sequence diagrams and Bayesian chronological models☆23Aug 27, 2019Updated 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.
- ☆20Nov 5, 2019Updated 6 years ago
- Combinators for bidirectional JSON parsing☆21May 29, 2014Updated 12 years ago
- Boostrap layout for Dancer☆23Mar 12, 2017Updated 9 years ago
- Code for the Adzuna Salary Prediction Kaggle competition - http://www.kaggle.com/c/job-salary-prediction Placed 10th out of approximately…☆11Apr 10, 2013Updated 13 years ago
- Small sample android projects using Metaio SDK☆10Jul 18, 2014Updated 12 years ago
- A small library to allow attaching PFFiles to PFObjects in the Parse Local Datastore for iOS☆20Feb 11, 2015Updated 11 years ago
- The graphics toolkit for SWI-Prolog☆23Updated this week
- A PromiseKit category for the Parse SDK☆29Apr 28, 2015Updated 11 years ago
- ☆13Sep 13, 2015Updated 11 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Building a To Do List Android Mobile App☆21Apr 13, 2019Updated 7 years ago
- Angular directive for linkedin JS API login☆13Mar 27, 2014Updated 12 years ago
- Teaching computers to recognize other computers, funded by Impakt.nl☆10Jul 31, 2014Updated 12 years ago
- Using Raspberry Pi, Python, MQTT, Home Assistant, a relay, and a magnetic proximity sensor, I open, close, stop, and report the status of…☆11Nov 7, 2016Updated 9 years ago
- A SmartGate Arduino powered☆12May 1, 2020Updated 6 years ago
- Waktu solat negeri-negeri di Malaysia dan tukaran tarikh Masihi ke Hijrah.☆12Jan 2, 2024Updated 2 years ago
- SpinRDF☆20Mar 11, 2024Updated 2 years ago