0x326 / miami-university-cse-620a-group-project

miami-university-cse-620a-group-project

Distribution of work:

LaTeX guide: https://en.wikibooks.org/wiki/LaTeX

Setup

git config core.autoCrlf input

Install the following Visual Studio Code extensions:

• Remote - Containers
• EditorConfig
• Live Share
• LaTeX Workshop

Usage

Committing changes:

git add . -p
git commit

Building PDF:

# Inside Visual Studio Code dev container
make

# On commandline
docker run --rm -v "$(pwd):/pwd" --workdir /pwd blang/latex:ctanfull make

Running clingo:

clingo --opt-mode=optN *.lp *.py 1 | sed 's/) /)\n/g'