init
This commit is contained in:
commit
2e8a1dec2f
4 changed files with 48 additions and 0 deletions
15
.devcontainer/devcontainer.json
Normal file
15
.devcontainer/devcontainer.json
Normal file
|
@ -0,0 +1,15 @@
|
|||
{
|
||||
"name": "CMPUT 325 W2023 ASP/CLPFD lab",
|
||||
"build": {
|
||||
"context": "..",
|
||||
"dockerfile": "../Dockerfile"
|
||||
},
|
||||
"customizations": {
|
||||
"vscode": {
|
||||
"extensions": [
|
||||
"rebornix.prolog",
|
||||
"abelcour.asp-syntax-highlight",
|
||||
]
|
||||
}
|
||||
}
|
||||
}
|
5
.vscode/settings.json
vendored
Normal file
5
.vscode/settings.json
vendored
Normal file
|
@ -0,0 +1,5 @@
|
|||
{
|
||||
"files.associations": {
|
||||
"*.pl": "prolog"
|
||||
}
|
||||
}
|
22
Dockerfile
Normal file
22
Dockerfile
Normal file
|
@ -0,0 +1,22 @@
|
|||
FROM ubuntu:jammy
|
||||
# rlwrap segfaulted on :kinetic, so using jammy instead
|
||||
LABEL maintainer="sjkillen@ualberta.ca"
|
||||
|
||||
RUN apt-get -qq update
|
||||
RUN apt-get -qq install sudo gringo clasp time swi-prolog git
|
||||
RUN apt-get -qq install rlfe
|
||||
RUN echo "alias sbcl='rlfe sbcl'" >> /home/$USERNAME/.bashrc
|
||||
|
||||
ARG USERNAME=user
|
||||
ARG USER_UID=1000
|
||||
ARG USER_GID=$USER_UID
|
||||
|
||||
# Copied from https://code.visualstudio.com/docs/remote/containers-advanced#_adding-a-nonroot-user-to-your-dev-container
|
||||
# Create the user
|
||||
RUN groupadd --gid $USER_GID $USERNAME \
|
||||
&& useradd --uid $USER_UID --gid $USER_GID -m $USERNAME --shell /bin/bash \
|
||||
# [Optional] Add sudo support. Omit if you don't need to install software after connecting.
|
||||
&& echo $USERNAME ALL=\(root\) NOPASSWD:ALL > /etc/sudoers.d/$USERNAME \
|
||||
&& chmod 0440 /etc/sudoers.d/$USERNAME
|
||||
|
||||
USER $USERNAME
|
6
asp/1.lp
Normal file
6
asp/1.lp
Normal file
|
@ -0,0 +1,6 @@
|
|||
% Graph colouring
|
||||
|
||||
%#show color/2.
|
||||
|
||||
%{ color(X,1..n) } = 1 :- vertex(X).
|
||||
%:- arc(X,Y), color(X,C), color(Y,C).
|
Loading…
Add table
Reference in a new issue