#!/usr/bin/env zsh

# Reload zsh configuration
alias reload='. ~/.zshrc'

# Change Kitty themes
alias set-dark-theme='kitty +kitten themes Rose-pine-moon'
alias set-light-theme='kitty +kitten themes Rose-pine-dawn'

# MiniZinc
export BIGBAD="compute.optimisation-2020.cloud.edu.au"