Discover SWI-Prolog/contrib-minisat Open Source project

Stars
1
Language
C++
Created over 10 years ago
Updated about 6 years ago

SWI-Prolog

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

minisat solver by Michael Codish, Vitaly Lagoon, Peter J. Stuckey.

swipl-devel

SWI-Prolog Main development repository

955

swish

SWI-Prolog for SHaring: a SWI-Prolog web IDE

Prolog

495

swipl

SWI-Prolog stable releases

215

swipl-wasm

Run SWI-Prolog in your browser using WebAssemply

HTML

pengines

Pengine and Prolog scratchpad

HTML

packages-jpl

JPL: The Prolog <-> Java interface

Java

packages-swipy

Python interface for SWI-Prolog

npm-swipl-wasm

SWI-Prolog WebAssembly build as a NPM package

JavaScript

packages-cpp

The SWI-Prolog C++ interface

C++

packages-semweb

The SWI-Prolog RDF store

Prolog

contrib-swiplcs

Interface from C# to SWI-Prolog

packages-chr

CHR: Leuven Constraint Handling Rules

Prolog

tabled-prolog-book

Programming in Tabled Prolog by David S Warren

TeX

packages-http

The SWI-Prolog HTTP server and client libraries

Prolog

roadmap

Discuss future development

sCASP

Top-down interpreter for ASP programs with Constraints

Prolog

packages-mqi

Machine Query Interface

Python

plweb

SWI-Prolog web server sources for www.swi-prolog.org

Prolog

packages-xpce

The graphics toolkit for SWI-Prolog

bench

Prolog benchmarks (`van Roy' set)

Prolog

docker-swipl

Docker images for SWI-Prolog

Dockerfile

packages-pengines

Pengines: Prolog engines

Prolog

docker-swish

Docker file for SWISH

Shell

packages-swipl-win

Portable Qt-based console for SWI-Prolog by Carlo Capelli

C++

packages-plunit

The SWI-Prolog Unit Testing library

Prolog

packages-sweep

GNU-Emacs interface that embeds Prolog as an Emacs module

Emacs Lisp

packages-clpqr

CLP(Q,R): constraints over rational numbers and floats by Leslie de Koninck

Prolog

rclswi

ROS2 bridge for SWI-Prolog

Prolog

packages-R

SWI-Prolog to R Project for Statistical Computing interface

Prolog

contrib-protobufs

An interface to Google Protocol Buffers (protobuf)

Prolog

packages-inclpr

Constraint solver for nonlinear (polynomial) constraints over reals

Prolog

issues

Dummy repository for issue tracking

packages-nlp

The SWI-Prolog NLP support library (stemming, etc.)

packages-clib

Assorted external libraries: processes, sockets, MIME, CGI, etc.

webstat

Examine SWI-Prolog resources and data using your browser

JavaScript

packages-odbc

The SWI-Prolog ODBC interface

packages-cql

High level database interface

Prolog

packages-regex

Pure Prolog regex implementation

Prolog

packages-table

The SWI-Prolog library for accessing structured files

contrib-plfann

SWI-Prolog interface to FANN (http://leenissen.dk/fann/)

packages-indent

Reformatter for Prolog source code

Prolog

packages-pldoc

The SWI-Prolog documentation system

Prolog

packages-RDF

The SWI-Prolog RDF/XML parser

Prolog

plweb-examples

misc-emacs

Demo customization for PceEmacs

Prolog

packages-ssl

The SWI-Prolog SSL interface

packages-paxos

SWI-Prolog replicating key-value store

Prolog

packages-PDT

Support files for PDT: Prolog Development Tools

packages-pcre

SWI-Prolog package for access to Perl Regular Expressions

Prolog

docker-swipl-build-mingw

Docker to cross-compile SWI-Prolog for Windows

Dockerfile

contrib-space

SWI-Prolog spatial indexing package

C++

packages-utf8proc

Provide Unicode normalization and info using utf8proc

plweb-www

Submodule of plweb.git that contains the (wiki) web-pages

HTML

packages-sgml

The SWI-Prolog SGML/XML/HTML parser

contrib-plosc

Open Sound Control (OSC) for SWI-Prolog

packages-windows

Example DLL and windows registry access library

contrib-InterProlog

InterProlog, adusted for SWI-Prolog

Java

misc-winlibs

Required libraries for compiling on Windows (binaries)

C++

packages-cppproxy

A network-based SWI-Prolog <-> C++ interface

Prolog

packages-bdb

The SWI-Prolog BerkelyDB interface

packages-redis

Redis client library

Prolog

docker-swish-public

Docker spec used to run the public swish instance

Shell

packages-jasmine

The SWI-Prolog interface to the Jasmine OODB

SWI-Prolog.github.io

Organization pages

packages-zlib

The SWI-Prolog zlib compressed stream interface

Prolog

clpqr-examples

Examples and test cases for clp(QR)

Prolog

packages-yaml

YAML reader and writer

packages-ltx2htm

SWI-Prolog LaTeX to HTML translation for the documentation

Prolog

contrib-tipc

The SWI-Prolog TIPC interface

libXpm

XPM image library for xpce

dleak

Memory leak debugger

packages-prosqlite

Prolog to SQLite interface

Prolog

distro-debian

Configuration files for creating a Debian package

Makefile

misc-libXpm

Modified version of libXpm used by XPCE on MS-Windows

plweb-blog

Blog posts on SWI-Prolog

misc-macos-build

Setup to make binaries for MacOS

misc-bdwgc

The Boehm-Demers-Weiser garbage collector for SWI-Prolog

misc-C-sicstus

Use SWI-Prolog foreign code on SICStus Prolog

py-swi-prolog

Build SWI-Prolog as a Python package

Python

packages-archive

Interface to libarchive

packages-stomp

STOMP client for message brokers

Prolog

docker-swipl-linux-ci

Docker files for testing builds on various Linux distros and versions

Prolog

SWI-Prolog/contrib-minisat

SWI-Prolog

Reviews

Repository Details

More Repositories