irfansha Goto Github PK

benchmarking

Benchmarking scripts and data repositories for Q-planner.

benchmarks

c-l-resources

Resources for Computability and Logic course, for TA sessions.

collatz-conjucture

cpp-programs

Examples programs in C++ mainly related to templates and parallel programming.

encodings

Programs for CNF encodings of problems to SAT and QBF solvers.

hamiltonian_problem

Finding hamiltonian cycles with an interest in finding non-hamiltonian hard-graphs.

irfansha

Config files for my GitHub profile.

knights_tour

lbs_projects

n-queens-data

Data on the N-Queens problem from different state-of-the-art solvers.

nqueens

Efficient implementations for N-Queens problem.

oklibrary

A research platform and active library for generalised SAT solving

parsers

Parsers for different solvers.

pddl-parser

:snake: Planning in Python

planning

A framework for developing/using/experimenting planning problems, with special focus on QBF solving.

public_documents

Thesis, research papers and other public documents.

q-ltl

LTL synthesis with QBF

q-planner

A QBF based planner without grounding, efficient rewrite of https://github.com/irfansha/Planning.

q-sage

Generates ungrounded QBF encoding for 2-player positional games.

q-synth

Tools for quantum circuits synthesis, optimization and others.

sqval

A tool for Scalable QBF validation

synchronizing_word

Synchronizing word as conformant planning

tic-tac-toe