Skip to content
/ computational-logic Public

Problems solved for Computational Logic @ UBI - Portugal.

License

Apache-2.0 license
0 stars 0 forks Branches Tags Activity
Star

joelvaz0x01/computational-logic

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

7 Commits
pbA
pbA
 
 
pbB
pbB
 
 
.gitattributes
.gitattributes
 
 
.gitignore
.gitignore
 
 
LICENSE
LICENSE
 
 
README.md
README.md
 
 

Repository files navigation

Problems solved for Computational Logic

Problems solved:

  • Problem A - Minimal effort for Maximal Profitability
  • Problem B - Algoritmo DPLL em Lógica Proposicional

About

Problems solved for Computational Logic @ UBI - Portugal.

Topics

ocaml computational-logic

Resources

Readme

License

Apache-2.0 license
Activity

Stars

0 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages