def assertN(board, kn):
a = ""
bdd = BDD(board.getN() * board.getM(), kn)
bdd.decideValidity()
a += bdd.writeAllClauses()
def __init__(self, theme):
self.base = BDD.BDD("test")
self.base.requetesql("SELECT id from {}".format(str(theme)))
self.ids = [i[0] for i in self.base.get_cursor().fetchall()]
from tkinter import *
import tirage_question
import BDD
base = BDD.BDD("test")
# le theme sera choisi dans le programme principal et renvoyé ici
theme = "test1"
tirage = tirage_question.Tirage(theme)
# q_r = ()
def get_q_r():
id = tirage.pick_random_id()
base.requetesql(
"SELECT question, reponse FROM {} WHERE id = ?".format(theme), str(id))
q_r = base.get_cursor().fetchone()
return q_r
def main():
q_r = get_q_r()
global app
app = Tk()
app.title("Affichage animateur")
window_height = 768
window_width = 1024
screen_width = app.winfo_screenwidth()
screen_height = app.winfo_screenheight()
x_cordinate = int((screen_width / 2) - (window_width / 2))
from BDD import *
x = BDD('x', ZERO, ONE)
y = BDD('y', ZERO, ONE)
z = x.land(y)
print(simplify(z))
