rnbguy

#!/bin/bash

# Script for installing tmux on systems where you don't have root access.
# tmux will be installed in $HOME/.local/bin.
# It's assumed that wget and a C/C++ compiler are installed.

# exit on error
set -e

# create our directories

rnbguy

#!/bin/bash

# script for installing CVC4 SMT solver locally
# CVC4 will be installed in $HOME/cvc4pref/bin

# exit on error
set -e

# clone repo from github
git clone https://github.com/cvc4/cvc4

rnbguy

#!/usr/bin/env python3

"""
earthview_wallpaper.py

Get next images from Google EarthView (earthview.withgoogle.com)
and set it as the background wallpaper.

"""

rnbguy

#!/usr/bin/bash

eval set -- $(getopt -o f:u:t:m:b:d: -l flags:,unwind:,timelimit:,memorylimit:benchmarkpath:dumpdir: -- "$@")

unwind=5
flags=""
timelimit=900
memorylimit=15000000
dump_dir="dump_directory"

rnbguy

#!/usr/bin/env python3

import os
import glob
import sys
import re
import csv

dump_dir = sys.argv[1].strip("/")
dump_basename = os.path.basename(dump_dir)

rnbguy

package main

import (
	"flag"
	"fmt"
	"net"
	"net/http"
)

// simple golang fileserver

rnbguy

import argparse
import struct
import numpy as np

import PIL.ExifTags
from PIL import Image

ap = argparse.ArgumentParser()
group = ap.add_mutually_exclusive_group(required=True)
group.add_argument("-i", "--image", help="path to the image")

rnbguy

import numpy as np

"""
 RALIGN - Rigid alignment of two sets of points in k-dimensional
          Euclidean space.  Given two sets of points in
          correspondence, this function computes the scaling,
          rotation, and translation that define the transform TR
          that minimizes the sum of squared errors between TR(X)
          and its corresponding points in Y.  This routine takes
          O(n k^3)-time.

rnbguy

In one console,

docker-compose up

When the nodes are ready, in another console,

docker exec antidote1 ./connect.erl 3

rnbguy

Put a foo.bpl file in proofs directory. Then run

docker-compose run boogie proofs/foo.bpl