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))