diff frontends/src/constants.py @ 914:1a3ba959f0ab

core (memory): moved Params in its own module + introduced a new core/constants module, and moved some constants there
author Goffi <goffi@goffi.org>
date Fri, 21 Mar 2014 16:08:11 +0100
parents cd02f5ef30df
children 242bd4fc654c
line wrap: on
line diff
--- a/frontends/src/constants.py	Fri Mar 21 15:36:01 2014 +0100
+++ b/frontends/src/constants.py	Fri Mar 21 16:08:11 2014 +0100
@@ -1,7 +1,7 @@
 #!/usr/bin/python
 # -*- coding: utf-8 -*-
 
-# Primitivus: a SAT frontend
+# generic module for SàT frontends
 # Copyright (C) 2009, 2010, 2011, 2012, 2013, 2014 Jérôme Poisson (goffi@goffi.org)
 
 # This program is free software: you can redistribute it and/or modify