TUM - Chair VII - Foundations of Software Reliability and Theoretical Computer Science

Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.


		Chair for Foundations of Software Reliability and Theoretical Computer Science


	Home

	Contact

	Teaching
	lectures
	exercises
	seminars
	proseminars
	research seminars
	practical courses

	WS 2020/21
	SS 2020
	WS 2019/20
	SS 2019
	WS 2018/19
	SS 2018
	WS 2017/18
	SS 2017
	WS 2016/17
	SS 2016
	WS 2015/2016
	SS 2015
	WS 2014/2015
	SS 2014
	WS 2013/2014
	SS 2013
	WS 2012/2013
	SS 2012
	WS 2011/2012
	SS 2011
	WS 2010/2011
	SS 2010
	WS 2009/2010
	SS 2009
	WS 2008/2009
	SS 2008
	WS 2007/2008
	SS 2007
	WS 2006/2007
	SS 2006
	WS 2005/2006
	SS 2005
	WS 2004/2005
	SS 2004
	Before 2004

	People

	Publications

	Student Projects

	Research

	Tools

	Heroes of Computer Science

	Help


	Perlen der Informatik Sommersemester 2014

Neuigkeiten | Termine | Inhalt | Folien | Übungen | Literatur

MiniSat Installationsanleitung für Linux:

Benötigt wird das paket libz-dev. (apt-get install libz-dev)
Dann im Terminal:


export MROOT=/PATH/TO/minisat/

Im Ordner /PATH/TO/minisat/core/


make rs