zuxichen Goto Github PK

based-on-control-dependence-bmc

use Control-Dependence to creat program control flow and data flow

boox

Multi-agent path finding (MAPF), Token Swapping (TSWAP) and related solvers. Among others SMT-based solvers, variants of CBS, and SAT-based solvers are implemented. Recently also continuous variants of MAPF (MAPF^R) are supported.

cbs-sipp

C++ implementation of CBS with using SIPP as a low-level planner

cbsh2

Improved Heuristics for Multi-Agent Path Finding with Conflict-Based Search

cdclsat

CDCL SAT Solver

conflict-based-search-for-multi-agent-pathfinding

CBS algorithm implementation for multi agent pathfinding

continuous-cbs

Continuous CBS - a modification of conflict based search algorithm, that allows to perform actions (move, wait) of arbitrary duration. Timeline is not discretized, i.e. is continuous.

dg

[LLVM Static Slicer] Dependence graph for programs. A set of generic program analyses and a static slicer for LLVM bitcode.

disjoint-cbsh-lpa-star

Disjoint CBSH integrated with LPA*

divine

DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be reported using https://divine.fi.muni.cz/trac/report/1. Pull requests here will not be accepted. If you wish to contribute, please contatct us by e-mail.

dta

Contains java project code for implementing distributed timed automata

gazer

An LLVM-based formal verification frontend for C programs.

impact

implement_llvm

llvm tutorial,study in action

jkind

JKind - An infinite-state model checker for safety properties in Lustre

jpdr

Small project for learning PDR and Java 8

llai

Simple abstract interpreter for LLVM IR

llreve

Automatic regression verification for LLVM programs

llumc

llvm-clang-samples

UNMAINTAINED: Examples of using the LLVM and Clang compilation libraries and tools

llvm-ei

extensible interpreter for LLVM dynamic analyses

llvm-guide-zh

User Guides For those new to the LLVM system.(LLVM系统的新用户指南,中文翻译版)

llvm-mutestgen

LLVM test case generation using Mutation

llvmdynamictools

An LLVM interpreter that aims to compute points-to sets dynamically

mapf

CS261A Project: Multi-Agent Pathfinding

mh-interpreter

Multi-threads Interpreter base on LLVM

minisat

A minimalistic and high-performance SAT solver

multi-agent-pathfinding

Pathfinding algorithms to plan paths for multiple agents

multiagent-pathfinding

Conflict-based search for multi-agent path finding

multiagentpathfinding

This is my project for the Artificial Intelligence 4 course as given at the University of Southern Denmark.