rohit507

1. Have protontricks installed

2. If you have already downloaded the game, uninstall it.

3. Make a fresh install of Age of Wonders : Planetfall

4. Start the game and leave the launcher running. Don't click through to the actual game or close the launcher.

5. Use protontricks to find the app id

   run protontricks -s planetfall

6. Get the appID from the output, as follows.

rohit507

{-# LANGUAGE RebindableSyntax #-}
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE UndecidableInstances #-}


{-|
Module      : Control.Monad.Lang.Types
Description : Datatypes and instances we use when implementing a LangT
Copyright   : (c) Rohit Ramesh, 2018
License     : GPL-2

rohit507

# -*- mode: ruby -*-
# vi: set ft=ruby :

# All Vagrant configuration is done below. The "2" in Vagrant.configure
# configures the configuration version (we support older styles for
# backwards compatibility). Please don't change it unless you know what
# you're doing.
Vagrant.configure("2") do |config|

  # Our default provider is virtualbox, which allows us to do all of our build

rohit507

from dreal.symbolic import *
from dreal.api import CheckSatisfiability, Minimize

def test_nested_forall():
    """
    Test whether we can choose parameters for a system, such that there is a
    satisfying solution over an entire range of values. 

    Basically, choose an origin (ox,oy) and the lengths of two arms (l1 & l2)
    so that there is an angle (t1 & t2) for each arm, that allows it to reach

rohit507

\documentclass[]{article}

\usepackage{lmodern}


\usepackage{amssymb,amsmath}
\usepackage{ifxetex,ifluatex}
\usepackage{fixltx2e} % provides \textsubscript

\ifnum 0\ifxetex 1\fi\ifluatex 1\fi=0 % if pdftex