Giter Site home page Giter Site logo

Tomáš Peitl's Projects

cqesto-sms icon cqesto-sms

The circuit-based QBF solver CQesto equipped with SAT Modulo Symmetries (dynamic symmetry breaking for graph generation).

dblp2fwf icon dblp2fwf

Convert your DBLP listing into an FWF report

depqbf icon depqbf

DepQBF, a solver for quantified boolean formulae (QBF).

help icon help

A collection of various GNU/Linux commands that are useful in sparsely recurring scenarios.

libsolve icon libsolve

A collection of data structures and SAT solver interfaces for writing solvers

minisat-sms icon minisat-sms

A minimalistic and high-performance SAT solver (SMS version)

qfun-sms icon qfun-sms

The non-CNF qbf solver Qfun, enhanced with SAT modulo symmetries

rating icon rating

Proposal for a new rating system for chess solving competitions.

rrs icon rrs

A tool to compute and analyze reflexive resolution-path dependencies of a QBF in the QDIMACS format.

short-proof icon short-proof

A SAT-based tool to compute shortest resolution proofs.

smu icon smu

A collection of *saturated minimally unsatisfiable* (SMU) formulas with up to 10 clauses, split into *singular* (SSMU) formulas (which contain a singular variable) and *regular* (RSMU) formulas (which contain no singular variables).

vim-minizinc icon vim-minizinc

Syntax highlighting for minizinc (CP) and gringo (ASP) source code.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.