Skip to content

diegoimbert/2-SAT-Problem

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

17 Commits
 
 
 
 
 
 

Repository files navigation

TP 1 - SAT 2 Problem

Name: Diego IMBERT

Building manually

In the root directory: Run javac -cp src src/Main.java to build Then java -cp src Main to run

Same for running tests by replacing Main.java and Main with Tests.java and Tests

About

3rd year CS assignment

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages