A simple solver for linear equations containing nonlinear operators

摘要: This paper presents a simple equation solver. The solver finds solutions for sets of linear equations extended with several nonlinear operators, including integer division and modulus, sign extension, bit slicing. uses new technique called balancing, which can eliminate some operators from set before applying Gaussian elimination. solver's principal advantages are its simplicity ability to handle functions more than one variable. is part an application generator that provides encoding decoding machine instructions based on equational specifications. presented not as pseudo code but literate program, guarantees the shown in same actually used. Using real exposes detail using pseudocode, literate-programming techniques help manage detail. should benefit readers who want implement their own solvers here.