primus-lab

"""
formula.py - propositional formulas for Python
by Robin Wellner
Hereby, I waive all rights to this library, as described at <http://creativecommons.org/publicdomain/zero/1.0/>
Examples:
foo = Atom('foo')
bar = Atom('bar')
disjuction = foo | bar
conjunction = foo & bar
implication = foo >> bar

primus-lab

'''
    This script was written in python 3.x.
    In order to run this script, please make sure your python version is 3.x or above.
    How to run:
        python LLRT.py
    or if it doesn't work use this one:
        python3 LLRT.py
    Author: Pedja Terzic <[email protected]>
'''
from sympy import *

primus-lab

# Author: Pedja 




print("                        ***** PROTH *****\n\n\n")
while True:
	
    
   

primus-lab

# Author: Pedja 




print("                        ***** BHASKARA *****\n\n\n")
while True:
	
    
   

primus-lab

# Author: Pedja 


from sympy import *

print("                        ***** SAFE PRIME *****\n\n\n")
while True:
	
    
   

primus-lab

# Author: Pedja 

from mpmath import *
from sympy import *

print("                        ***** LUX *****\n\n\n")
while True:
	
    
   

primus-lab

# Author: Pedja 



print("                        ***** SIEVE *****\n\n\n")
while True:
	
    
   
    n1=int(input("Enter lower bound : "))

primus-lab

# Author: Pedja 



print("                        ***** PROTOS *****\n\n\n")
while True:
	
    
   
    n=int(input("Enter the ordinal number : "))

primus-lab

# Author: Pedja 



print("                        ***** COP *****\n\n\n")
while True:
	
    
   
    n=int(input("Enter a number : "))

primus-lab

# Author: Pedja 

from mpmath import *

print("                        ***** MERSENNE *****\n\n\n")
while True:
	
    
    k=int(input("Enter the coefficient : "))
    b=int(input("Enter the base : "))