peitl Goto Github PK
Name: Tomáš Peitl
Type: User
Company: TU Wien
Bio: University Assistant at TU Wien, Vienna, Austria.
Location: Vienna
Name: Tomáš Peitl
Type: User
Company: TU Wien
Bio: University Assistant at TU Wien, Vienna, Austria.
Location: Vienna
The circuit-based QBF solver CQesto equipped with SAT Modulo Symmetries (dynamic symmetry breaking for graph generation).
Convert your DBLP listing into an FWF report
DepQBF, a solver for quantified boolean formulae (QBF).
A collection of various GNU/Linux commands that are useful in sparsely recurring scenarios.
A collection of data structures and SAT solver interfaces for writing solvers
A minimalistic and high-performance SAT solver (SMS version)
The non-CNF qbf solver Qfun, enhanced with SAT modulo symmetries
QuAbS is a circuit-based QBF solver
Proposal for a new rating system for chess solving competitions.
A tool to compute and analyze reflexive resolution-path dependencies of a QBF in the QDIMACS format.
A SAT-based tool to compute shortest resolution proofs.
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).
Syntax highlighting for minizinc (CP) and gringo (ASP) source code.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.