dabzr / logicomp-rust Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Ferramenta em Rust para análise de proposições lógicas, com suporte a operadores como AND, OR, NOT e IMPLIES.

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 20 Commits
src		src
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
README.md		README.md

Repository files navigation

Logicomp (Rewrote in RUST)

Exercícios da cadeira de Lógica para Computação mas reescritos em Rust

About

Ferramenta em Rust para análise de proposições lógicas, com suporte a operadores como AND, OR, NOT e IMPLIES.

Report repository

Releases

No releases published

Packages

No packages published

Languages

Rust 100.0%