aba2sat

SAT-based solver for Assumption-Based Argumentation. Developed as part of my master-thesis.

Name		Name	Last commit message	Last commit date
Latest commit History 83 Commits
.helix		.helix
nix/packages		nix/packages
src		src
.envrc		.envrc
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
LICENSE		LICENSE
README.md		README.md
deny.toml		deny.toml
flake.lock		flake.lock
flake.nix		flake.nix
rust-toolchain.toml		rust-toolchain.toml

Navigation Menu