From 879a666a7aa958d88a524d3e951a1e464b6c519a Mon Sep 17 00:00:00 2001
From: Connor Olding <cloningdonor@gmail.com>
Date: Thu, 30 May 2019 01:27:12 -0700
Subject: [PATCH] add alias for cryptominisat

---
 home/-shrc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/home/-shrc b/home/-shrc
index 7518a1d..b4229af 100644
--- a/home/-shrc
+++ b/home/-shrc
@@ -94,6 +94,7 @@ alias gl='git log --oneline'
 alias glo='git log --graph --decorate --pretty=oneline --abbrev-commit --all'
 alias perlu='perl -Mopen=locale -Mutf8'
 alias rgn="rg --no-ignore"
+alias cms="cryptominisat5 --verb 0"
 
 whoa=(
     -Wall